A Unified Sequent Calculus for Focused Proofs.

Chuck C. Liang Dale Miller

Published in: LICS (2009)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
modal logic
proof search
theorem prover
wide class
theorem proving
linear time temporal logic
sufficient conditions
classical logic
machine learning
decision procedures