Search

Search Results

Found 132 items.

Introduction

Erik Weber, Dietlinde Wouters, Joke Meheus

319–322

2012-12-20
Claude P. Bruter (editor), Mathematics in Art: Mathematical Visualization in Art and Education

Walter Carnielli

163-166

2004-12-21
Converse Ackermann property and constructive negation defined with a negation connective

Gemma Robles, José M. Méndez

113-130

2006-06-26
Coping with inconsistencies: Examples from the social sciences

Erik Weber, Jeroen Van Bouwel

89-101

2005-06-23
In defense of operational quantum logic

Sonja Smets

191-212

2003-11-23
Preface

Max Urchs, Heinrich Wansing

45-46

2003-01-27
Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge

Walter Carnielli

91-96

2006-03-26
An adaptive logic framework for conditional obligations and deontic dilemmas

Christian Straßer

95-128

2010-06-30
A lattice for the language of Aristotle’s syllogistic and a lattice for the language of Vasiľév’s syllogistic

Andrew Schumann

17-37

2006-03-26
Doxastic Arrogance Paradox

Andrzej Wiśniewski

3-27

2025-11-16
On the homogeneous countable Boolean contact algebra

Ivo Düntsch, Sanjiang Li

213–251

2013-06-11
On the Maximality of Positive Properties and Modal Collapse in Variants of Gödel’s Ontological Proof for the Existence of God

Cordelia Mühlenbeck, Christoph Benzmüller

1-21

2026-03-15
Formal aspects of reduplication

Roberto Poli

87-102

2003-01-01
On Béziau’s logic Z

Hitoshi Omori, Toshiharu Waragai

305-320

2009-03-15
Logical Forms, Substitutions and Information Types

Vít Punčochář

459-473

2023-07-21
On the acceptance of problem solutions derived from inconsistent constraints

Joke Meheus

33-46

2004-01-18
The modes of physical properties in the logical foundations of physics

Sonja Smets

37-53

2005-06-23
On What There Is Not Extensible markup language and rules for making inferences

Timothy Tambassi

113-127

2025-03-26
Extended full computation-tree logics for paraconsistent model checking

Norihiro Kamide

251-276

2007-03-15
Analysis of Penrose’s Second Argument Formalised in DTK System

Antonella Corradini, Sergio Galvan

471-500

2021-12-16
Truth vs. provability – philosophical and historical remarks

Roman Murawski

93–117

2004-01-19

64 - 84 of 132 items << < 1 2 3 4 5 6 7 > >>