Normalization as a homomorphic image of cut-elimination

Annals of Mathematical Logic 12 (3):323 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0003-4843(77)80004-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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

The correspondence between cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1-112.
The correspondence between cut-elimination and normalization II.J. Zucker - 1974 - Annals of Mathematical Logic 7 (2):113.
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.
A Connection Between Cut Elimination and Normalization.Mirjana Borisavljević - 2006 - Archive for Mathematical Logic 45 (2):113-148.
Call-by-name reduction and cut-elimination in classical logic.Kentaro Kikuchi - 2008 - Annals of Pure and Applied Logic 153 (1-3):38-65.
Strong Cut-elimination In Display Logic.Heinrich Wansing - 1995 - Reports on Mathematical Logic:117-131.
Cut elimination for the unified logic.Jacqueline Vauzeilles - 1993 - Annals of Pure and Applied Logic 62 (1):1-16.
A cut elimination theorem for stationary logic.M. E. Szabo - 1987 - Annals of Pure and Applied Logic 33 (C):181-193.
Cut elimination for propositional dynamic logic without.Robert A. Bull - 1992 - Mathematical Logic Quarterly 38 (1):85-100.
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
2014-01-17

Downloads
31 (#728,019)

6 months
3 (#1,470,638)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On sequence-conclusion natural deduction systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.
Full intuitionistic linear logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.

View all 16 citations / Add more citations

References found in this work

The correspondence between cut-elimination and normalization.J. Zucker - 1974 - Annals of Mathematical Logic 7 (1):1-112.

Add more references