Natural Deduction Assistant (NaDeA).

Jørgen Villadsen Asta Halkjær From Anders Schlichtkrull

Published in: ThEdu@FLoC (2018)

Keyphrases

natural deduction
inference rules
theorem prover
test bed
intuitionistic logic
sequent calculus
theorem proving
cut elimination
linear logic
linear time temporal logic
artificial intelligence
pairwise
probabilistic model
first order logic