A short proof of the Strong Normalization of Classical Natural Deduction with Disjunctio - Archive ouverte HAL
Article Dans Une Revue The Journal of Symbolic Logic Année : 2003

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

René David
  • Fonction : Auteur
  • PersonId : 859236
Laboratoire de Mathématiques
Karim Nour
Laboratoire de Mathématiques

Résumé

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.

Domaines

Logique [math.LO]
Fichier principal
Vignette du fichier
new_sn.pdf (153.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Karim Nour  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00381601

Soumis le : mercredi 6 mai 2009-08:45:24

Dernière modification le : mardi 15 octobre 2024-14:51:08

Archivage à long terme le : jeudi 10 juin 2010-22:48:11

Télécharger pour visualiser

Dates et versions

hal-00381601 , version 1 (06-05-2009)

Identifiants

Citer

René David, Karim Nour. A short proof of the Strong Normalization of Classical Natural Deduction with Disjunctio. The Journal of Symbolic Logic, 2003, 68 (4), pp.1277-1288. ⟨hal-00381601⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-SAVOIE UGA CNRS INSMI LAMA LAMA-EQUIPE-LIMD
85 Consultations
397 Téléchargements

Altmetric

Partager

More