Cut Elimination in Multifocused Linear Logic.
Taus Brock-NannestadNicolas GuenotPublished in: LINEARITY (2014)
Keyphrases
- linear logic
- cut elimination
- sequent calculus
- fixed point
- proof theoretic
- logical framework
- logic programming
- intuitionistic logic
- desirable properties
- proof search
- artificial intelligence
- natural deduction
- machine learning
- linear time temporal logic
- wide class
- inference rules
- software engineering
- object oriented
- natural language
- high level