Normalization theorem for P-W

Bulletin of the Section of Logic 28 (2):83-88 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction.Osamu Takaki - 1997 - Notre Dame Journal of Formal Logic 38 (3):350-373.
Ultimate Normal Forms for Parallelized Natural Deductions.Neil Tennant - 2002 - Logic Journal of the IGPL 10 (3):299-337.
A Connection Between Cut Elimination and Normalization.Mirjana Borisavljević - 2006 - Archive for Mathematical Logic 45 (2):113-148.
Light affine lambda calculus and polynomial time strong normalization.Kazushige Terui - 2007 - Archive for Mathematical Logic 46 (3-4):253-280.
A normalization theorem for set theory.Sidney C. Bailin - 1988 - Journal of Symbolic Logic 53 (3):673-695.
Retraction of: "A normalization theorem for set theory".Sidney C. Bailin - 2011 - Journal of Symbolic Logic 76 (3):1096.
Gentzen writes in the published version of his doctoral thesis Untersuchun-gen über das logische Schliessen (Investigations into logical reasoning) that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elim.Jan von Plato - 2008 - Bulletin of Symbolic Logic 14 (2):240-257.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics.Motohiko Mouri & Norihiro Kamide - 2008 - Logica Universalis 2 (2):189-207.
Dimension Theory and Parameterized Normalization for D-Semianalytic Sets over Non-Archimedean Fields.Y. Firat Çelikler - 2005 - Journal of Symbolic Logic 70 (2):593 - 618.
A semantical proof of the strong normalization theorem for full propositional classical natural deduction.Karim Nour & Khelifa Saber - 2006 - Archive for Mathematical Logic 45 (3):357-364.
A lambda proof of the p-w theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.

Analytics

Added to PP
2014-01-19

Downloads
22 (#690,757)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A lambda proof of the p-w theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.

Add more citations

References found in this work

A Constructive Proof of a Theorem in Relevance Logic.Aleksandar Kron - 1985 - Mathematical Logic Quarterly 31 (25‐28):423-430.
A Constructive Proof of a Theorem in Relevance Logic.Aleksandar Kron - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (25-28):423-430.

Add more references