Search

Search Results

• On Brouwer’s criticism of classical logic and mathematics

  Tomasz Placek

  19-33

  2003-10-27
• A note concerning the place of contradictions in the ontologies of constitution

  Wim Christiaens

  67-78

  2003-11-23
• The informational stance: Philosophy and logic. Part I. The basic theories

  Wu Kun, Joseph E. Brenner

  453-493

  2013-08-29
• First-Order Logic with Adverbs

  Tristan Grøtvedt Haze

  289-324

  2024-02-14
• Varieties of Relevant S5

  Shawn Standefer

  53-80

  2022-03-08
• The informational stance: Philosophy and logic. Part II. From physics to society

  Wu Kun, Joseph E. Brenner

  81–108

  2013-08-29
• EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

  José Miguel Blanco

  75-104

  2021-08-14
• Space, points and mereology. On foundations of point-free Euclidean geometry

  Rafał Gruszczyński, Andrzej Pietruszczak

  145-188

  2009-11-30
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

  Aldo Figallo Orellano, Miguel Pérez-Gaspar, Everardo Bárcenas

  141-158

  2022-05-24
• Classical arithmetic is quite unnatural

  Jean Paul Van Bendegem

  231-249

  2003-11-23
• Decidability of mereological theories

  Hsing-chien Tsai

  45-63

  2009-08-15
• First-order belief and paraconsistency

  Srećko Kovač

  127-143

  2009-11-30
• KD45 with Propositional Quantifiers

  P. Maurice Dekker

  27-54

  2023-08-24
• Meinongian extensions of predicates

  Anna Sierszulska

  145-163

  2005-12-23
• Topologies and free constructions

  Anna Bucalo, Giuseppe Rosolini

  327–346

  2013-06-11
• The identity of strong indiscernibility

  Horst Wessel

  117-134

  2003-01-07
• Representing concepts in formal ontologies. Compositionality vs. typicality effects

  Marcello Frixione, Antonio Lieto

  391–414

  2012-12-20