Consistency Implies Cut Admissibility

Abstract : For any finite and consistent first-order theory, we can find a presentation as a rewriting system that enjoys cut admissibility.
Type de document :
Communication dans un congrès
PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Aug 2011, Wroclaw, Poland. 2011
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00614040
Contributeur : Assia Mahboubi <>
Soumis le : lundi 8 août 2011 - 21:39:17
Dernière modification le : jeudi 13 septembre 2018 - 15:24:05
Document(s) archivé(s) le : mercredi 9 novembre 2011 - 02:26:01

Fichier

Burel.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00614040, version 1

Collections

Citation

Guillaume Burel. Consistency Implies Cut Admissibility. PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Aug 2011, Wroclaw, Poland. 2011. 〈inria-00614040〉

Partager

Métriques

Consultations de la notice

115

Téléchargements de fichiers

65