Fast Cut-Elimination using Proof Terms: An Empirical Study.

Published in: CL&C (2018)

Keyphrases

cut elimination
linear logic
sequent calculus
natural deduction
proof theoretic
theorem prover
artificial intelligence
general purpose
sufficient conditions
inference rules
proof theory