Proofs of strong normalisation for second order classical natural deduction

Publisher： Cambridge University Press

E-ISSN： 1943-5886|62|4|1461-1479

ISSN： 0022-4812

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

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite

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

By  

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Normalization theorems for full first order classical natural deduction

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Strong Logics of First and Second Order

By  

Bulletin of Symbolic Logic, Vol. 16, Iss. 1, 2010-03 ,pp. : 1-36

Cambridge University Press

Access to resources Recommend Favorite