The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs.
Arno EhleNorbert HundeshagenMartin LangePublished in: ThEdu@CADE (2017)
Keyphrases
- automated reasoning
- helping students
- sequent calculus
- theorem prover
- cut elimination
- inference rules
- natural deduction
- theorem proving
- linear logic
- modal logic
- decision procedures
- middle school students
- deeper understanding
- proof theory
- high school students
- video games
- first order logic
- knowledge representation
- probabilistic reasoning
- reasoning tasks
- proof search
- linear time temporal logic
- wide class
- sufficient conditions
- logical framework
- general purpose
- search space