Keyphrases
- linear logic
- grammar induction
- proof theoretic
- fixed point
- sequent calculus
- logical framework
- logic programming
- desirable properties
- cut elimination
- natural language
- context free grammars
- proof search
- intuitionistic logic
- inference rules
- grammatical inference
- sufficient conditions
- programming language
- natural language processing
- relational databases
- reinforcement learning