Gentzen's Proof of Normalization for Natural Deduction

E-ISSN： 1943-5894|14|2|240-257

ISSN： 1079-8986

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

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

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

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

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

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

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

On natural deduction

The Journal of Symbolic Logic, Vol. 15, Iss. 2, 1950-06 ,pp. : 93-102

Cambridge University Press

Access to resources Recommend Favorite