Cut Elimination for Logics with Definitional Reflection.
Peter Schroeder-HeisterPublished in: Nonclassical Logics and Information Processing (1990)
Keyphrases
- cut elimination
- sequent calculus
- proof theoretic
- sequent calculi
- inference rules
- modal logic
- linear logic
- intuitionistic logic
- natural deduction
- wide class
- proof theory
- sufficient conditions
- question answering
- classical logic
- decision procedures
- linear time temporal logic
- temporal logic
- fixed point
- nonmonotonic reasoning
- expressive power
- theorem prover
- first order logic
- theorem proving
- conditional logic
- nonmonotonic logics
- default logic
- constraint logic programming
- proof search
- artificial intelligence
- logical framework