Journal of Philosophical Logic 37 (6):521 - 548 (2008)
AbstractThe well-known picture that sequent derivations without cuts and normal derivations “are the same” will be changed. Sequent derivations without maximum cuts (i.e. special cuts which correspond to maximum segments from natural deduction) will be considered. It will be shown that the natural deduction image of a sequent derivation without maximum cuts is a normal derivation, and the sequent image of a normal derivation is a derivation without maximum cuts. The main consequence of that property will be that sequent derivations without maximum cuts and normal derivations “are the same”.
Similar books and articles
On the Estimation of the Length of Normal Derivations.Luiz Carlos P. D. Pereira - 1982 - Akademilitteratur.
About some symmetries of negation.Brigitte Hösli & Gerhard Jäger - 1994 - Journal of Symbolic Logic 59 (2):473-485.
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknown
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
Separably closed fields with Hasse derivations.Martin Ziegler - 2003 - Journal of Symbolic Logic 68 (1):311-318.
Added to PP
Historical graph of downloads
Citations of this work
The subformula property of natural deduction derivations and analytic cuts.Mirjana Borisavljević - forthcoming - Logic Journal of the IGPL.
Maximum Segments as Natural Deduction Images of Some Cuts.Mirjana Borisavljević - 2022 - Logica Universalis 16 (3):499-533.
The Elimination of Maximum Cuts in Linear Logic and BCK Logic.Mirjana Borisavljevic - forthcoming - Studia Logica:1-39.
References found in this work
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.