The Role of Quantifier Alternations in Cut Elimination.

Philipp Gerhardy

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

Keyphrases

cut elimination
sequent calculus
linear logic
inference rules
wide class
general purpose
high level
similarity measure