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

E-ISSN： 1943-5886|68|3|851-859

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.68, Iss.3, 2003-09, pp. : 851-859

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Corrigendum to “Strong normalization proof with CPS-translation for second order classical natural deduction”

The Journal of Symbolic Logic, Vol. 68, Iss. 4, 2003-12 ,pp. : 1415-1416

Cambridge University Press

Access to resources Recommend Favorite

A short proof of the strong normalization of classical natural deduction with disjunction

The Journal of Symbolic Logic, Vol. 68, Iss. 4, 2003-12 ,pp. : 1277-1288

Cambridge University Press

Access to resources Recommend Favorite

Proofs of strong normalisation for second order classical natural deduction

The Journal of Symbolic Logic, Vol. 62, Iss. 4, 1997-12 ,pp. : 1461-1479

Cambridge University Press

Access to resources Recommend Favorite

Gentzen's Proof of Normalization for Natural Deduction

Bulletin of Symbolic Logic, Vol. 14, Iss. 2, 2008-06 ,pp. : 240-257

Cambridge University Press

Access to resources Recommend Favorite

Normalization theorems for full first order classical natural deduction

The Journal of Symbolic Logic, Vol. 56, Iss. 1, 1991-03 ,pp. : 129-149

Cambridge University Press

Access to resources Recommend Favorite