System Description: CutRes 0.1: Cut Elimination by Resolution.

Matthias Baaz Alexander Leitsch Georg Moser

Published in: CADE (1999)

Keyphrases

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