Search

Search Results

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

  Yaroslav Petrukhin

  53-66

  2017-01-31
• On Definability of Connectives and Modal Logics over FDE

  Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

  631-659

  2019-04-11
• Disjoint Logics

  Federico Pailos

  109-137

  2020-07-27
• Natural Deduction for Three-Valued Regular Logics

  Yaroslav Petrukhin

  197-206

  2016-08-29
• Boolean Connexive Logics: Semantics and tableau approach

  Tomasz Jarmużek, Jacek Malinowski

  427-448

  2019-01-27
• Connexive Conditional Logic. Part I

  Heinrich Wansing, Matthias Unterhuber

  567-610

  2018-12-28
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

  Eugenio Orlandelli

  139-183

  2020-10-10
• Relational semantics for the 4-valued relevant logics BN4 and E4

  Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela, Marcos M. Recio

  173-201

  2016-04-25
• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  2019-06-10
• Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence

  Alexander Karpenko, Natalya Tomova

  207-235

  2016-10-21
• Partial and paraconsistent three-valued logics

  Vincent Degauquier

  143-171

  2016-02-27
• A Generalisation of a Refutation-related Method in Paraconsistent Logics

  Adam Trybus

  235-261

  2018-01-25
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

  2016-07-26
• Remarks on Stable Formulas in Intuitionistic Logic

  Majid Alizadeh, Ali Bibak

  209-222

  2018-11-18
• Supervenience, Dependence, Disjunction

  Lloyd Humberstone

  3-135

  2018-05-29
• Normalisation for Some Quite Interesting Many-Valued Logics

  Nils Kürbis, Yaroslav Petrukhin

  493-534

  2021-06-16
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

  Oleg Grigoriev, Yaroslav Petrukhin

  385-415

  2021-02-20
• The lattice of Belnapian modal logics: Special extensions and counterparts

  Sergei P. Odintsov, Stanislav O. Speranski

  3-33

  2016-02-25
• An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

  Damian E. Szmuc

  277-330

  2019-05-24
• Tomasz Jarmużek and Marcin Tkaczyk: “Normalne logiki pozycyjne” (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015

  Mateusz Klonowski

  235-241

  2016-05-18
• On a multilattice analogue of a hypersequent S5 calculus

  Oleg Grigoriev, Yaroslav Petrukhin

  683-730

  2019-07-18