Algebraic proofs of cut elimination.

Published in: J. Log. Algebraic Methods Program. (2001)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
sufficient conditions
proof theoretic
sequent calculi
modal logic
theorem prover
proof search
intuitionistic logic
machine learning
fixed point
higher order
desirable properties
logic programs
knowledge representation