Login / Signup
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