Natural Deduction and the Isabelle Proof Assistant.

Jørgen Villadsen Asta Halkjær From Anders Schlichtkrull

Published in: ThEdu@CADE (2017)

Keyphrases

natural deduction
theorem prover
inference rules
sequent calculus
theorem proving
cut elimination
test bed
intuitionistic logic
linear logic
automated reasoning
linear time temporal logic
relational databases
first order logic