Automated Natural Deduction in Thinker.

Francis Jeffry Pelletier

Published in: Stud Logica (1998)

Keyphrases

natural deduction
theorem prover
inference rules
semi automated
intuitionistic logic
sequent calculus
fully automated
cut elimination
object oriented
theorem proving
knowledge base
general purpose
first order logic
automated analysis