Search

Search Results

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

  José M. Méndez

  191-219

  2010-03-30
• Paradoxes versus Contradictions in Logic of Sentential Operators

  Michał Walicki

  1-44

  2024-01-02
• Natural deduction systems for some non-commutative logics

  Norihiro Kamide, Motohiko Mouri

  105-146

  2007-08-25
• Librationist closures of the paradoxes

  Frode Bjørdal

  323–361

  2012-12-20
• Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

  Yaroslav Petrukhin

  287-318

  2025-04-28
• 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
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  2021-12-16
• From Inconsistency to Incompatibility

  Marcelo E. Coniglio, Guilherme V. Toledo

  181-216

  2022-09-27
• Criteria causing inconsistencies. General gluts as opposed to negation gluts

  Diderik Batens

  5-37

  2003-11-23
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

  2024-07-26
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

  Janusz Ciuciura

  235-252

  2005-12-23
• Meet-Combination of Consequence Systems

  Paula Gouveia, João Rasga, Cristina Sernadas

  73-108

  2024-05-29
• First-order anti-intuitionistic logic with apartness

  Andreas B.M. Brunner

  77-88

  2004-12-21
• The Beginnings of Toruń Logic

  Max Urchs

  1-28

  2025-04-28
• Logical Pluralism and Interpretations of Logical Systems

  Diego Tajer, Camillo Fiore

  209-234

  2022-02-07