NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.

Jørgen Villadsen Alexander Birch Jensen Anders Schlichtkrull

Published in: FLAP (2017)

Keyphrases

natural deduction
theorem prover
inference rules
test bed
cut elimination
intuitionistic logic
knowledge representation
sequent calculus
formal model
theorem proving
logical framework
linear time temporal logic
knowledge base
operational semantics
linear logic
logical language