&: Automated Natural Deduction.

Dave Barker-Plummer Sidney C. Bailin Andrew S. Merrill

Published in: CADE (1992)

Keyphrases

natural deduction
theorem prover
inference rules
intuitionistic logic
theorem proving
semi automated
sequent calculus
cut elimination
automated analysis
linear time temporal logic
computer aided
fully automated
bayesian networks
data points
answer set programming