Canonical Sequent Proofs via Multi-Focusing.

Kaustuv Chaudhuri Dale Miller Alexis Saurin

Published in: IFIP TCS (2008)

Keyphrases

natural deduction
sequent calculus
cut elimination
theorem prover
machine learning
multiscale
theorem proving
real time
databases
learning algorithm
decision trees
wireless sensor networks
inference rules
decision procedures
linear logic