Search

Search Results

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

  Ricardo Sousa Silvestre

  89-130

  2013-03-30
• ZF and the axiom of choice in some paraconsistent set theories

  Thierry Libert

  91-114

  2003-11-23
• On Béziau’s logic Z

  Hitoshi Omori, Toshiharu Waragai

  305-320

  2009-03-15
• Literal and Controllable Paraconsistency

  Janusz Ciuciura

  1-19

  2024-11-02
• Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

  Marcelo E. Coniglio, Martin Figallo

  171-203

  2024-01-26
• Constructive Logic is Connexive and Contradictory

  Heinrich Wansing

  1-27

  2024-01-02
• Some new results on PCL1 and its related systems

  Toshiharu Waragai, Hitoshi Omori

  129-158

  2010-06-30
• Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

  Sandra M. López

  29-56

  2021-03-12
• Logical Pluralism and Interpretations of Logical Systems

  Diego Tajer, Camillo Fiore

  209-234

  2022-02-07
• Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

  Gemma Robles

  311-322

  2008-02-26
• Natural deduction systems for some non-commutative logics

  Norihiro Kamide, Motohiko Mouri

  105-146

  2007-08-25
• Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

  Yaroslav Petrukhin

  287-318

  2025-04-28
• Guest editors’ introduction

  Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli

  5-6

  2010-06-30
• Extended full computation-tree logics for paraconsistent model checking

  Norihiro Kamide

  251-276

  2007-03-15
• Metainferential Paraconsistency

  Bruno Da Ré, Mariela Rubin, Paula Teijeiro

  235-260

  2022-02-07
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  2021-12-16
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

  Janusz Ciuciura

  235-252

  2005-12-23
• The RM paraconsistent refutation system

  Tomasz Skura

  65-70

  2009-08-15
• The paraconsistent logic Z. A possible solution to Jaśkowski’s problem

  Jean-Yves Béziau

  99-111

  2006-06-26
• Is p and ¬p a Contradiction?

  Jean-Yves Beziau

  1-14

  2025-03-11
• 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