Keyphrases
- proof theory
- natural deduction
- learning process
- online learning
- proof theoretic
- learning analytics
- e learning
- teacher education
- knowledge base
- predicate logic
- linear logic
- automated theorem proving
- sequent calculus
- proof search
- logical rules
- cut elimination
- sequent calculi
- learning environment
- distance learning
- theorem prover
- default reasoning
- logic programming
- high school
- computer technology
- classical logic
- educational technology
- teaching methods
- inference rules
- learning community
- distance education
- modal logic
- programming course
- learning systems
- computer programming
- cooperative learning