Lambda terms for natural deduction, sequent calculus and cut elimination.

Henk Barendregt Silvia Ghilezan

Published in: J. Funct. Program. (2000)

Keyphrases

cut elimination
sequent calculus
natural deduction
inference rules
linear logic
wide class
linear time temporal logic
theorem prover
modal logic
proof theoretic
theorem proving
fixed point
proof search
sufficient conditions
logical framework
intuitionistic logic
classical logic
first order logic