Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic.
Daniel RogozinPublished in: CoRR (2023)
Keyphrases
- semantic analysis
- linear logic
- natural language processing
- natural language understanding
- fixed point
- natural language
- semantic information
- intuitionistic logic
- logic programming
- syntactic parsing
- proof theoretic
- syntactic analysis
- sequent calculus
- logical framework
- cut elimination
- databases
- proof search
- desirable properties
- general purpose