Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof.

Christian Urban Bozhi Zhu

Published in: RTA (2008)

Keyphrases

linear logic
cut elimination
sequent calculus
natural deduction
proof theoretic
proof search
inference rules
intuitionistic logic
search space
theorem proving
theorem prover
artificial intelligence
proof theory
wide class
modal logic
fixed point
sequent calculi