A sequent calculus and a theorem prover for standard conditional logics.
Nicola OlivettiGian Luca PozzatoCamilla SchwindPublished in: ACM Trans. Comput. Log. (2007)
Keyphrases
- theorem prover
- higher order logic
- inference rules
- sequent calculus
- natural deduction
- conditional logic
- cut elimination
- theorem proving
- modal logic
- automated reasoning
- first order logic
- automated theorem proving
- term rewriting
- proof search
- formal proof
- higher order
- logical framework
- default reasoning
- linear time temporal logic
- linear logic
- nonmonotonic reasoning
- software engineering
- artificial intelligence
- nonmonotonic inference
- machine learning