A Simple Proof that Super-Consistency Implies Cut Elimination
Work
Year: 2012
Type: article
Abstract: We give a simple and direct proof that super-consistency implies the cut-elimination property in deduction modulo. This proof can be seen as a simplification of the proof that super-consistency implie... more
Authors Gilles Dowek, Olivier Hermant
Institution Centre de Recherche en Informatique
Cites: 18
Cited by: 7
Related to: 10
FWCI: 1.805
Citation percentile (by year/subfield): 79.98
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid