Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.
Adam PrenosilPublished in: Stud Logica (2017)
Keyphrases
- cut elimination
- sequent calculus
- sequent calculi
- inference rules
- proof theoretic
- modal logic
- linear logic
- intuitionistic logic
- wide class
- natural deduction
- sufficient conditions
- classical logic
- proof theory
- proof search
- expressive power
- logical framework
- nonmonotonic logics
- conditional logic
- temporal logic
- linear time temporal logic
- nonmonotonic reasoning
- default logic
- theorem proving
- first order logic
- default reasoning
- logic programming
- high dimensional