Teaching natural deduction in the right order with Natural Deduction Planner.

Jeremy Seligman Declan Thompson

Published in: CoRR (2015)

Keyphrases

natural deduction
theorem prover
inference rules
intuitionistic logic
theorem proving
artificial intelligence
sequent calculus
cut elimination
e learning
heuristic search
machine learning
learning process
online learning
logic programming