A short proof of the strong normalization of classical natural deduction with disjunction
David, René ; Nour, Karim
J. Symbolic Logic, Tome 68 (2003) no. 1, p. 1277-1288 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We give a direct, purely arithmetical and elementary proof of the strong normalization of the cut-elimination procedure for full (i.e., in presence of all the usual connectives) classical natural deduction.
Publié le : 2003-12-14
Classification:  
@article{1067620187,
     author = {David, Ren\'e and Nour, Karim},
     title = {A short proof of the strong normalization of classical natural deduction
with disjunction},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 1277-1288},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1067620187}
}

David, René; Nour, Karim. A short proof of the strong normalization of classical natural deduction
with disjunction. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  1277-1288. http://gdmltest.u-ga.fr/item/1067620187/