Search

Search Results

• A Simulation of Natural Deduction and Gentzen Sequent Calculus

  Daniil Kozhemiachenko

  67-84

  2017-04-24
• Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

  Moritz Cordes, Friedrich Reinmuth

  163-196

  2017-02-02
• Natural Deduction for Three-Valued Regular Logics

  Yaroslav Petrukhin

  197-206

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

  Yaroslav Petrukhin

  53-66

  2017-01-31
• Does the Implication Elimination Rule Need a Minor Premise?

  Nissim Francez

  351-373

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

  Yaroslav Petrukhin, Vasilyi Shangin

  223–257

  2018-07-06
• Normalisation for Some Quite Interesting Many-Valued Logics

  Nils Kürbis, Yaroslav Petrukhin

  493-534

  2021-06-16
• Overview of Results Presented in "Trends in Logic XIII"

  Mateusz Klonowski

  137-142

  2016-08-30
• Relevant Connexive Logic

  Nissim Francez

  409-425

  2019-01-31
• Dialogue Games for Minimal Logic

  Alexandra Pavlova

  281-309

  2020-11-10
• Fregean Description Theory in Proof-Theoretical Setting

  Andrzej Indrzejczak

  137-155

  2018-06-17
• Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

  Alex Belikov

  535-559

  2021-05-02
• Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

  Torben Braüner

  415-445

  2020-02-17
• The Rule of Existential Generalisation and Explicit Substitution

  Jiří Raclavský

  105-141

  2021-10-10
• Natural deduction systems for some non-commutative logics

  Norihiro Kamide, Motohiko Mouri

  105-146

  2007-08-25
• Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

  Marcelo E. Coniglio, Martin Figallo

  171-203

  2024-01-26
• Grammatical structures and logical deductions

  Wojciech Buszkowski

  47-86

  2003-01-27
• Admissibility of cut in congruent modal logics

  Andrzej Indrzejczak

  189-203

  2011-11-30