Natural Deduction for Non-Classical Logics.
David A. BasinSeán MatthewsLuca ViganòPublished in: Stud Logica (1998)
Keyphrases
- natural deduction
- theorem proving
- theorem prover
- automated theorem proving
- inference rules
- classical logic
- intuitionistic logic
- sequent calculus
- cut elimination
- first order logic
- automated reasoning
- modal logic
- linear time temporal logic
- artificial intelligence
- logic programming
- high level
- linear logic
- probabilistic model