Search

Search Results

• Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

  Tomasz Jarmużek

  85-101

  2007-07-25
• 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
• 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
• First-Order Logic with Adverbs

  Tristan Grøtvedt Haze

  289-324

  2024-02-14
• 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
• 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
• Decidability of mereological theories

  Hsing-chien Tsai

  45-63

  2009-08-15
• Classical arithmetic is quite unnatural

  Jean Paul Van Bendegem

  231-249

  2003-11-23
• 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
• Relating Logics Meet Scientific Understanding: On Clustering and the Methodology of Logical Classification

  Maria del Rosario Martinez-Ordaz

  1-30

  2026-03-02
• Trope sheaves. A topological ontology of tropes

  Thomas Mormann

  129-150

  2003-01-27