A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction
Logic
2009-05-07 v1
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.
Keywords
Cite
@article{arxiv.0905.0760,
title = {A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction},
author = {René David and Karim Nour},
journal= {arXiv preprint arXiv:0905.0760},
year = {2009}
}