- A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.Àngel J. Gil, Jordi Rebagliato & Ventura Verdú - 1999 - Journal of Applied Non-Classical Logics 9 (1):9-36.details
|
|
A Gentzen system equivalent to the BCK-logic'.R. Adillon & Ventura Verdú - 1996 - Bulletin of the Section of Logic 25 (2):73-79.details
|
|
Relative efficiency of propositional proof systems: resolution vs. cut-free LK.Noriko H. Arai - 2000 - Annals of Pure and Applied Logic 104 (1-3):3-16.details
|
|
The Method of Socratic Proofs: From the Logic of Questions to Proof Theory.Dorota Leszczyńska-Jasion - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 183–198.details
|
|
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics.Arnon Avron - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):12-34.details
|
|
Abduction via C-tableaux and δ-resolution.Fernando Soler-Toscano, Ángel Nepomuceno-Fernández & Atocha Aliseda-Llera - 2009 - Journal of Applied Non-Classical Logics 19 (2):211-225.details
|
|
Model-Baded Abduction via Dual Resolution.Fernando Soler-Toscano, Ángel Nepomuceno-fernández & Atocha Aliseda-Llera - 2006 - Logic Journal of the IGPL 14 (2):305-319.details
|
|
Protoalgebraic Gentzen systems and the cut rule.Àngel J. Gil & Jordi Rebagliato - 2000 - Studia Logica 65 (1):53-89.details
|
|
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.details
|
|
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth.Angel J. Gil - 2013 - Studia Logica 101 (4):749-781.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
A note on cut-elimination for classical propositional logic.Gabriele Pulcini - 2022 - Archive for Mathematical Logic 61 (3):555-565.details
|
|
Correspondence theory in proof theory.Andrzej Indrzejczak - 2008 - Bulletin of the Section of Logic 37 (3/4):171-183.details
|
|
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.details
|
|