Modular Cut-Elimination: Finding Proofs or Counterexamples.

Agata Ciabattoni Kazushige Terui

Published in: LPAR (2006)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
wide class
inference rules
sufficient conditions
proof search
modal logic
sequent calculi
proof theoretic
theorem prover
theorem proving
general purpose
intuitionistic logic
decision procedures
linear time temporal logic
learning algorithm