Search

Search Results

• An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

  Damian E. Szmuc

  277-330

  2019-05-24
• Normalisation for Some Quite Interesting Many-Valued Logics

  Nils Kürbis, Yaroslav Petrukhin

  493-534

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

  Yaroslav Petrukhin

  53-66

  2017-01-31
• Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

  Yaroslav Petrukhin, Vasilyi Shangin

  223–257

  2018-07-06
• Disjoint Logics

  Federico Pailos

  109-137

  2020-07-27
• Weak Kleene Logic and Topic-Sensitive Logics

  ROBERTO CIUNI

  523-554

  2024-06-05
• 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
• A Logic for a Critical Attitude?

  Federico Boem, Stefano Bonzio

  261-288

  2022-02-19
• Pure Variable Inclusion Logics

  Francesco Paoli, Michele Pra Baldi, Damian Szmuc

  631-652

  2021-11-28