Teaching Natural Deduction in the Right Order with Natural Deduction Planner.

Declan Thompson Jeremy Seligman

Published in: FLAP (2017)

Keyphrases

natural deduction
theorem prover
inference rules
theorem proving
intuitionistic logic
cut elimination
linear time temporal logic
linear logic
e learning
online learning
normal form
sequent calculus