Search

Search Results

• Natural Deduction for Four-Valued both Regular and Monotonic Logics

  Yaroslav Petrukhin

  53-66

  2017-01-31
• Natural Deduction for Three-Valued Regular Logics

  Yaroslav Petrukhin

  197-206

  2016-08-29
• Disjoint Logics

  Federico Pailos

  109-137

  2020-07-27
• Partial and paraconsistent three-valued logics

  Vincent Degauquier

  143-171

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

  Alexander Karpenko, Natalya Tomova

  207-235

  2016-10-21
• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  2019-06-10
• A Generalisation of a Refutation-related Method in Paraconsistent Logics

  Adam Trybus

  235-261

  2018-01-25
• Normalisation for Some Quite Interesting Many-Valued Logics

  Nils Kürbis, Yaroslav Petrukhin

  493-534

  2021-06-16
• Twist-Valued Models for Three-Valued Paraconsistent Set Theory

  Walter A. Carnielli, Marcelo E. Coniglio

  187-226

  2021-05-04
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

  2024-07-26
• Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

  Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón

  615-648

  2024-11-07
• Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability

  Pawel Pawlowski, Rafal Urbaniak

  501-527

  2021-11-29
• A Logic for a Critical Attitude?

  Federico Boem, Stefano Bonzio

  261-288

  2022-02-19