Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing.
Vito Michele AbrusciRoberto MaieliPublished in: FG (2015)
Keyphrases
- linear logic
- intuitionistic logic
- natural language
- proof search
- proof theoretic
- cut elimination
- sequent calculus
- desirable properties
- logical framework
- logic programming
- fixed point
- natural language processing
- word order
- programming language
- proof theory
- inference rules
- context free
- general purpose
- context free grammars
- constraint logic programming
- software engineering
- knowledge representation