Comparison of Natural Deduction Theorem Provers used in Electronic Tutoring Systems.
Larry Joshua CrottsStephen TatePublished in: ICEEL (2022)
Keyphrases
- theorem prover
- natural deduction
- tutoring system
- theorem proving
- first order logic
- automated reasoning
- automated theorem proving
- inference rules
- sequent calculus
- intelligent tutoring systems
- student modelling
- computer algebra
- problem based learning
- automated deduction
- higher order logic
- formal semantics
- intuitionistic logic
- student model
- cut elimination
- linear time temporal logic
- proof search
- cognitive skills
- e learning
- computer algebra systems