Search

Search Results

• A Simulation of Natural Deduction and Gentzen Sequent Calculus

  Daniil Kozhemiachenko

  67-84

  2017-04-24
• Natural Deduction for Three-Valued Regular Logics

  Yaroslav Petrukhin

  197-206

  2016-08-29
• Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction

  Moritz Cordes, Friedrich Reinmuth

  163-196

  2017-02-02
• 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
• Vagueness and Formal Fuzzy Logic: Some Criticisms

  Giangiacomo Gerla

  431-460

  2017-11-15
• Overview of Results Presented in "Trends in Logic XIII"

  Mateusz Klonowski

  137-142

  2016-08-30
• Normalisation for Some Quite Interesting Many-Valued Logics

  Nils Kürbis, Yaroslav Petrukhin

  493-534

  2021-06-16
• Relevant Connexive Logic

  Nissim Francez

  409-425

  2019-01-31
• Tautology Elimination, Cut Elimination, and S5

  Andrzej Indrzejczak

  461-471

  2017-04-05
• Yet Another Shade of Deduction. On measuring deductive flexibility and how it may relate to other cognitive abilities

  Natalia Żyluk, Mikołaj Michta, Mariusz Urbański

  517-543

  2017-05-24
• Dialogue Games for Minimal Logic

  Alexandra Pavlova

  281-309

  2020-11-10
• Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

  Alex Belikov

  535-559

  2021-05-02
• Fregean Description Theory in Proof-Theoretical Setting

  Andrzej Indrzejczak

  137-155

  2018-06-17
• Theorem proving with built-in hybrid theories

  Uwe Petermann

  77-107

  1998-11-06
• Justification Logic and the Epistemic Contribution of Deduction

  Nancy Abigail Nuñez Hernández, Francisco Hernández-Quiroz

  381-402

  2024-03-04
• Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

  Torben Braüner

  415-445

  2020-02-17
• Abduction: Some Conceptual Issues

  Mariusz Urbański, Andrzej Klawiter

  583-597

  2018-11-17
• On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)

  Jiří Raclavský

  57–68

  2013-10-05
• The Rule of Existential Generalisation and Explicit Substitution

  Jiří Raclavský

  105-141

  2021-10-10