Gentzen-Prawitz Natural Deduction as a Teaching Tool
Jean-François MoninCristian EneMichaël PérinPublished in: CoRR (2009)
Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- linear time temporal logic
- theorem prover
- inference rules
- theorem proving
- learning process
- distance learning
- online learning
- learning environment
- intuitionistic logic
- high school
- artificial intelligence
- horn clauses
- modal logic
- automated reasoning
- proof theoretic
- e learning