Abstract
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.
Citation
René David. Karim Nour. "A short proof of the strong normalization of classical natural deduction with disjunction." J. Symbolic Logic 68 (4) 1277 - 1288, December 2003. https://doi.org/10.2178/jsl/1067620187
Information
