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.
Document type :
Conference papers
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

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/inria-00614040
Contributor : Assia Mahboubi <>
Submitted on : Monday, August 8, 2011 - 9:39:17 PM
Last modification on : Thursday, May 24, 2018 - 3:58:07 PM
Document(s) archivé(s) le : Wednesday, November 9, 2011 - 2:26:01 AM

File

Burel.pdf
Files produced by the author(s)

Identifiers

  • 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〉

Share

Metrics

Record views

111

Files downloads

62