Search

Search Results

• Meet-Combination of Consequence Systems

  Paula Gouveia, João Rasga, Cristina Sernadas

  73-108

  2024-05-29
• A Routley-Meyer semantics for Ackermann’s logics of “strenge implication”

  José M. Méndez

  191-219

  2010-03-30
• Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

  Yaroslav Petrukhin

  287-318

  2025-04-28
• 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
• The Liar Paradox: Between Evidence and Truth

  Jonas Becker Arenhart, Ederson S. Melo

  289-311

  2022-02-05
• Criteria causing inconsistencies. General gluts as opposed to negation gluts

  Diderik Batens

  5-37

  2003-11-23
• Constructive Logic is Connexive and Contradictory

  Heinrich Wansing

  675-701

  2024-01-02
• Extended full computation-tree logics for paraconsistent model checking

  Norihiro Kamide

  251-276

  2007-03-15
• Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

  Marcelo E. Coniglio, Martin Figallo

  171-203

  2024-01-26
• Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

  Gemma Robles

  311-322

  2008-02-26
• Logic may be simple. Logic, congruence and algebra

  Jean-Yves Béziau

  129-147

  2003-10-27
• Guest editors’ introduction

  Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli

  5-6

  2010-06-30
• Logical Pluralism and Interpretations of Logical Systems

  Diego Tajer, Camillo Fiore

  209-234

  2022-02-07
• Natural deduction systems for some non-commutative logics

  Norihiro Kamide, Motohiko Mouri

  105-146

  2007-08-25