Schematic Cut Elimination and the Ordered Pigeonhole Principle.

David M. Cerna Alexander Leitsch

Published in: IJCAR (2016)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
inference rules
natural deduction
proof theoretic
sufficient conditions
sequent calculi