Search

Search Results

• On Three Axiom Systems for Classical Mereology

  Achille C. Varzi

  203-207

  2018-10-30
• Explicit Conditionals in the Framework of Classical Conditional Logic

  Claudio E. A. Pizzi

  161-187

  2019-07-15
• Mereology with Super-Supplementation Axioms. A Reconstruction of the Unpublished Manuscript of Jan F. Drewnowski

  Kordula Świętorzecka, Marcin Łyczak

  189-211

  2019-09-28
• Paraconsistency and Sette’s calculus P1

  Janusz Ciuciura

  265–273

  2015-02-06
• Refutation systems for a system of nonsense-logic

  Robert Sochacki

  233-239

  2011-11-30
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  2020-10-08
• Some remarks on axiomatizing logical consequence operations

  Jacek Malinowski

  103-117

  2005-06-23
• The RM paraconsistent refutation system

  Tomasz Skura

  65-70

  2009-08-15