Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version].

David M. Cerna Alexander Leitsch

Published in: CoRR (2016)

Keyphrases

cut elimination
linear logic
sequent calculus
inference rules
general purpose
wide class
proof theoretic