A Tableaux Calculus for Reducing Proof Size.

Michael Peter Lettmann Nicolas Peltier

Published in: CoRR (2018)

Keyphrases

proof procedure
automated theorem proving
theorem prover
theorem proving
natural deduction
automated reasoning
website
knowledge representation
decision procedures
real time
decision trees
data structure
expert systems
significantly reduced
provably correct
sequent calculi