Strong normalization proof with CPS-translation for second order classical natural deduction

Journal of Symbolic Logic 68 (3):851-859 (2003)

Abstract
This paper points out an error of Parigot’s proof of strong normalization of second order classical natural deduction by the CPS-translation, discusses erasing-continuation of the CPS-translation, and corrects that proof by using the notion of augmentations.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI http://projecteuclid.org/euclid.jsl/1058448444
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,914
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Strong Normalization Results by Translation.René David & Karim Nour - 2010 - Annals of Pure and Applied Logic 161 (9):1171-1179.
A Proof-Theoretic Investigation of a Logic of Positions.Stefano Baratella & Andrea Masini - 2003 - Annals of Pure and Applied Logic 123 (1-3):135-162.

Analytics

Added to PP index
2009-01-28

Total views
34 ( #250,511 of 2,266,272 )

Recent downloads (6 months)
10 ( #97,162 of 2,266,272 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature