Fast Cut-Elimination by Projection.

Matthias Baaz Alexander Leitsch

Published in: CSL (1996)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
inference rules
natural deduction
sequent calculi
proof theoretic
sufficient conditions
linear time temporal logic
fixed point
modal logic
logical framework
probabilistic model
software engineering