Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic.
Lutz StraßburgerPublished in: TLCA (2009)
Keyphrases
- proof theoretic
- linear logic
- proof theory
- default reasoning
- intuitionistic logic
- cut elimination
- default logic
- logic programming
- fixed point
- logical framework
- desirable properties
- sequent calculus
- model theoretic
- higher order
- automated reasoning
- first order logic
- nonmonotonic reasoning
- fixpoint
- machine learning
- operational semantics
- reasoning problems
- inference rules
- description logics
- natural language