A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/229514We 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.LogicA short proof of the Strong Normalization of Classical Natural Deduction with Disjunctiontext