Search

Search Results

• Dialogue Games for Minimal Logic

  Alexandra Pavlova

  281-309

  2020-11-10
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

  2016-07-26
• Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence

  Alexander Karpenko, Natalya Tomova

  207-235

  2016-10-21
• Classical Logic and the Liar

  Yannis Stephanou

  35-56

  2019-06-14
• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

  2016-07-19
• Partial and paraconsistent three-valued logics

  Vincent Degauquier

  143-171

  2016-02-27
• Classical mereology is not elementarily axiomatizable

  Andrzej Pietruszczak

  485-498

  2015-08-22
• The lattice of Belnapian modal logics: Special extensions and counterparts

  Sergei P. Odintsov, Stanislav O. Speranski

  3-33

  2016-02-25
• Explicit Conditionals in the Framework of Classical Conditional Logic

  Claudio E. A. Pizzi

  161-187

  2019-07-15
• A Simulation of Natural Deduction and Gentzen Sequent Calculus

  Daniil Kozhemiachenko

  67-84

  2017-04-24
• Vagueness and Formal Fuzzy Logic: Some Criticisms

  Giangiacomo Gerla

  431-460

  2017-11-15
• On classical behavior of intuitionistic modalities

  Sergey Drobyshevich

  79–104

  2014-08-16
• Sequent Calculi for Beginners and Professionals

  Mateusz Klonowski

  143-147

  2018-02-02
• The logic of causal propositions

  Stanisław Kiczuk

  403-448

  2014-08-04
• The Case of Dialetheism

  Marcin Tkaczyk

  203-224

  2016-06-07
• A Classical Logic of Existence and Essence

  Sergio Galvan, Alessandro Giordani

  541-570

  2020-06-12
• Boolean Connexive Logics: Semantics and tableau approach

  Tomasz Jarmużek, Jacek Malinowski

  427-448

  2019-01-27
• Change in individuals without a name. Contextual indicators & the free change-adaptive logic

  Guido Vanackere

  213-230

  2003-11-23
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I

  Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

  449-480

  2014-06-03
• Paranormal modal logic – Part I. The system K? and the foundations of the logic of skeptical and credulous plausibility

  Ricardo Sousa Silvestre

  65–95

  2012-03-15
• Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems

  Ricardo Sousa Silvestre

  89-130

  2013-03-30