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

Simple item page
dc.creatorDavid, René
dc.creatorNour, Karim
dc.date2009-05-06
dc.date.accessioned2026-07-07T13:12:12Z
dc.date.available2026-07-07T13:12:12Z
dc.descriptionWe 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.
dc.identifierhttps://arxiv.org/abs/0905.0760
dc.identifierhttp://arxiv.org/abs/0905.0760
dc.identifierThe Journal of Symbolic Logic 68, 4 (2003) 1277-1288
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229514
dc.subjectLogic
dc.titleA short proof of the Strong Normalization of Classical Natural Deduction with Disjunction
dc.typetext

Files

Collections

arXiv