Access the full text.
Sign up today, get DeepDyve free for 14 days.
M. Borisavljevic (1999)
A Cut-Elimination Proof in Intuitionistic Predicate LogicAnn. Pure Appl. Log., 99
G. Gentzen (1935)
Untersuchungen über das logische Schließen. IMathematische Zeitschrift, 39
Garrel Pottinger (1977)
Normalization as a homomorphic image of cut-eliminationAnnals of Mathematical Logic, 12
G. Pottinger (1977)
Normalization as a homomorrhic image of cut eliminationAnnals of Pure and Applied Logic, 12
D. Prawitz (1971)
Ideas and Results in Proof TheoryStudies in logic and the foundations of mathematics, 63
J. Zucker (1974)
The correspondence between cut-elimination and normalization IIAnnals of Mathematical Logic, 7
J. Plato (2001)
A proof of Gentzen's Hauptsatz without multicutArch. Math. Log., 40
G. Gentzen, M. Szabo (1969)
The collected papers of Gerhard Gentzen
M. Borisavljevic (2003)
Two measures for proving Gentzen's Hauptsatz without mixArchive for Mathematical Logic, 42
M. Borisavljevic, K. Dosen, Z. Petric (1999)
On permuting cut with contractionMathematical Structures in Computer Science, 10
A new set of conversions for derivations in the system of sequents for intuitionistic predicate logic will be defined. These conversions will be some modifications of Zucker's conversions from the system of sequents [InlineMediaObject not available: see fulltext.] from [11], which will have the following characteristics: (1) these conversions will be sufficient for transforming a derivation into a cut-free one, and (2) in the natural deduction the image of each of these conversions will be either in the set of conversions for normalization procedure, or an identity of derivations. This will be used to give a new proof of the normalization theorem for natural deduction, as a consequence of the cut-elimination theorem for the system of sequents.
Archive for Mathematical Logic – Springer Journals
Published: Sep 27, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.