Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction.
Michel ParigotPublished in: LPAR (1992)
Keyphrases
- natural deduction
- inference rules
- theorem prover
- cut elimination
- sequent calculus
- theorem proving
- intuitionistic logic
- machine learning
- linear logic
- development environment
- linear time temporal logic
- modal logic
- natural language
- probability theory
- proof procedure
- sufficient conditions
- high level
- artificial intelligence