The correspondence between cut-elimination and normalization

Annals of Mathematical Logic 7 (1):1-112 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(74)90010-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: J. Zucker, The Correspondence Between Cut-Elimination and Normalization. [REVIEW]Flavio Previale - 1983 - Journal of Symbolic Logic 48 (4):1204-1206.
Zucker J.. The correspondence between cut-elimination and normalization. Annals of mathematical logic, vol. 7 no. 1 , pp. 1–112, and vol. 7, no. 2–3 , pp. 113–156. [REVIEW]Flavio Previale - 1983 - Journal of Symbolic Logic 48 (4):1204-1206.
Normalization and Cut-Elimination in First-Order Logic.Anthony Michael Ungar - 1986 - Dissertation, Stanford University
A Connection Between Cut Elimination and Normalization.Mirjana Borisavljević - 2006 - Archive for Mathematical Logic 45 (2):113-148.
Some general results about proof normalization.Marc Aiguier & Delphine Longuet - 2010 - Logica Universalis 4 (1):1-29.
Strong normalization of classical natural deduction with disjunctions.Koji Nakazawa & Makoto Tatsuta - 2008 - Annals of Pure and Applied Logic 153 (1-3):21-37.
A formalization of Sambins's normalization for GL.Edward Hermann Haeusler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.
Call-by-name reduction and cut-elimination in classical logic.Kentaro Kikuchi - 2008 - Annals of Pure and Applied Logic 153 (1-3):38-65.
Normal derivability in modal logic.Jan von Plato - 2005 - Mathematical Logic Quarterly 51 (6):632-638.
Proof normalization modulo.Gilles Dowek & Benjamin Werner - 2003 - Journal of Symbolic Logic 68 (4):1289-1316.
On the role of implication in formal logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Natural deduction with general elimination rules.Jan von Plato - 2001 - Archive for Mathematical Logic 40 (7):541-567.
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
A normalizing system of natural deduction for intuitionistic linear logic.Sara Negri - 2002 - Archive for Mathematical Logic 41 (8):789-810.

Analytics

Added to PP
2016-06-30

Downloads
35 (#460,468)

6 months
10 (#280,381)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Normalization as a homomorphic image of cut-elimination.Garrel Pottinger - 1977 - Annals of Mathematical Logic 12 (3):323.
On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.

View all 24 citations / Add more citations

References found in this work

Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.

Add more references