Cut-Elimination: Experiments with CERES.

Matthias Baaz Stefan Hetzl Alexander Leitsch Clemens Richter Hendrik Spohr

Published in: LPAR (2004)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
natural deduction
inference rules
proof theoretic
sufficient conditions
sequent calculi
modal logic
linear time temporal logic
proof search
intuitionistic logic
theorem prover