A Simple Proof that Super-Consistency Implies Cut Elimination.

Gilles Dowek Olivier Hermant

Published in: Notre Dame J. Formal Log. (2012)

Keyphrases

cut elimination
linear logic
sequent calculus
natural deduction
inference rules
proof theoretic
fixed point
theorem prover
wide class
proof search