NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.
Jørgen VilladsenAlexander Birch JensenAnders SchlichtkrullPublished in: CoRR (2015)
Keyphrases
- learning algorithm
- natural deduction
- theorem prover
- inference rules
- cut elimination
- test bed
- theorem proving
- sequent calculus
- knowledge representation
- active learning
- first order logic
- logical framework
- linear logic
- linear time temporal logic
- formal model
- intuitionistic logic
- intelligent assistant
- operational semantics
- probability distribution
- expert systems