- Algorithmic Structuring of Cut-free Proofs.Matthias Baaz & Richard Zach - 1993 - In Börger Egon, Kleine Büning Hans, Jäger Gerhard, Martini Simone & Richter Michael M. (eds.), Computer Science Logic. CSL’92, San Miniato, Italy. Selected Papers. Springer. pp. 29–42.details
|
|
Proof Terms for Classical Derivations.Restall Greg - manuscriptdetails
|
|
Duplication of directed graphs and exponential blow up of proofs.A. Carbone - 1999 - Annals of Pure and Applied Logic 100 (1-3):1-67.details
|
|
Turning cycles into spirals.A. Carbone - 1999 - Annals of Pure and Applied Logic 96 (1-3):57-73.details
|
|
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.details
|
|
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.details
|
|
Identity of proofs based on normalization and generality.Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (4):477-503.details
|
|
The Elimination of Maximum Cuts in Linear Logic and BCK Logic.Mirjana Borisavljevic - 2023 - Studia Logica 111 (3):391-429.details
|
|
Maximum Segments as Natural Deduction Images of Some Cuts.Mirjana Borisavljević - 2022 - Logica Universalis 16 (3):499-533.details
|
|
The subformula property of natural deduction derivations and analytic cuts.Mirjana Borisavljević - forthcoming - Logic Journal of the IGPL.details
|
|
The Role of Structural Reasoning in the Genesis of Graph Theory.Michael Arndt - 2019 - History and Philosophy of Logic 40 (3):266-297.details
|
|
Intuitionistic N-Graphs.M. Quispe-Cruz, A. G. de Oliveira, R. J. G. B. de Queiroz & V. de Paiva - 2014 - Logic Journal of the IGPL 22 (2):274-285.details
|
|
Annals of Pure and Applied Logic. [REVIEW]Arthur W. Apter - 2001 - Bulletin of Symbolic Logic 7 (2):283-285.details
|
|
Looking From The Inside And From The Outside.A. Carbone & S. Semmes - 2000 - Synthese 125 (3):385-416.details
|
|
Models of Deduction.Kosta Dosen - 2006 - Synthese 148 (3):639-657.details
|
|
A Note on the Length of Proofs.Tsuyoshi Yukami - 1994 - Annals of the Japan Association for Philosophy of Science 8 (4):203-209.details
|
|
Bounded arithmetic, proof complexity and two papers of Parikh.Samuel R. Buss - 1999 - Annals of Pure and Applied Logic 96 (1-3):43-55.details
|
|
Generalizing proofs in monadic languages.Matthias Baaz & Piotr Wojtylak - 2008 - Annals of Pure and Applied Logic 154 (2):71-138.details
|
|
Logical structures and genus of proofs.Alessandra Carbone - 2010 - Annals of Pure and Applied Logic 161 (2):139-149.details
|
|
Some remarks on lengths of propositional proofs.Samuel R. Buss - 1995 - Archive for Mathematical Logic 34 (6):377-394.details
|
|
Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework.Paola Forcheri & Paolo Gentilini - 2005 - Journal of Applied Non-Classical Logics 15 (3):285-319.details
|
|
Interpolants, cut elimination and flow graphs for the propositional calculus.Alessandra Carbone - 1997 - Annals of Pure and Applied Logic 83 (3):249-299.details
|
|
Length and structure of proofs.Rohit Parikh - 1998 - Synthese 114 (1):41-48.details
|
|
The cost of a cycle is a square.A. Carbone - 2002 - Journal of Symbolic Logic 67 (1):35-60.details
|
|