A Simple Proof That Super-Consistency Implies Cut Elimination.

Gilles Dowek Olivier Hermant

Published in: RTA (2007)

Keyphrases

cut elimination
linear logic
sequent calculus
natural deduction
proof theoretic
inference rules
proof search
theorem prover
high level
natural language
dynamical systems
fixed point
logical framework
wide class
sequent calculi