Keyphrases
- linear logic
- fixed point
- intuitionistic logic
- proof theoretic
- logic programming
- sparse representation
- sequent calculus
- desirable properties
- logical framework
- high dimensional
- proof search
- inference rules
- cut elimination
- artificial intelligence
- natural deduction
- deductive databases
- programming language
- relational databases