Consistency Implies Cut Admissibility - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Consistency Implies Cut Admissibility

Résumé

For any finite and consistent first-order theory, we can find a presentation as a rewriting system that enjoys cut admissibility.
Fichier principal
Vignette du fichier
Burel.pdf (197.07 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00614040 , version 1 (08-08-2011)

Identifiants

  • HAL Id : inria-00614040 , version 1

Citer

Guillaume Burel. Consistency Implies Cut Admissibility. PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories, Germain Faure, Stéphane Lengrand, Assia Mahboubi, Aug 2011, Wroclaw, Poland. ⟨inria-00614040⟩
77 Consultations
100 Téléchargements

Partager

Gmail Facebook X LinkedIn More