Cut elimination and strong separation for substructural logics: An algebraic approach.
Nikolaos GalatosHiroakira OnoPublished in: Ann. Pure Appl. Log. (2010)
Keyphrases
- cut elimination
- sequent calculus
- propositional calculus
- inference rules
- proof theoretic
- sequent calculi
- modal logic
- linear logic
- intuitionistic logic
- natural deduction
- proof theory
- expressive power
- classical logic
- linear time temporal logic
- wide class
- high level
- proof search
- machine learning
- model theoretic
- decision procedures
- default reasoning
- default logic
- temporal logic
- first order logic
- feature space