A Simple Proof That Super-Consistency Implies Cut Elimination.

Gilles Dowek Olivier Hermant

Published in: CoRR (2023)

Keyphrases

cut elimination
linear logic
sequent calculus
natural deduction
proof theoretic
inference rules
general purpose
similarity measure
sufficient conditions
logical framework
classical logic
wide class
proof search
sequent calculi