Journal of Philosophical Logic 37 (6):521 - 548 (2008)
The 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”.
|Keywords||cut elimination normalization|
|Categories||categorize this paper)|
References found in this work BETA
A Proof of Gentzen's Hauptsatz Without Multicut.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (1):9-18.
A Connection Between Cut Elimination and Normalization.Mirjana Borisavljević - 2006 - Archive for Mathematical Logic 45 (2):113-148.
Citations of this work BETA
No citations found.
Similar books and articles
On the Estimation of the Length of Normal Derivations.Luiz Carlos P. D. Pereira - 1982 - Akademilitteratur.
Separably Closed Fields with Hasse Derivations.Martin Ziegler - 2003 - Journal of Symbolic Logic 68 (1):311-318.
Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.
Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic.Linda Postniece - unknown
About Some Symmetries of Negation.Brigitte Hösli & Gerhard Jäger - 1994 - Journal of Symbolic Logic 59 (2):473-485.
Added to index2009-01-28
Total downloads8 ( #476,449 of 2,146,489 )
Recent downloads (6 months)1 ( #386,104 of 2,146,489 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.