About Folding-Unfolding Cuts and Cuts Modulo
Résumé
We show in this note that cut elimination in deduction modulo subsumes cut elimination in deduction with the folding and unfolding rules.
Rapport
Année : 2000
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00072640
Soumis le : mercredi 24 mai 2006-10:28:26
Dernière modification le : jeudi 1 août 2024-13:48:05
Archivage à long terme le : dimanche 4 avril 2010-23:16:36
Dates et versions
Identifiants
- HAL Id : inria-00072640 , version 1
Citer
Gilles Dowek. About Folding-Unfolding Cuts and Cuts Modulo. RR-4004, INRIA. 2000. ⟨inria-00072640⟩
Collections
161
Consultations
183
Téléchargements