Keyphrases
- linear logic
- cut elimination
- sequent calculus
- proof search
- natural deduction
- proof theoretic
- fixed point
- three dimensional
- intuitionistic logic
- logical framework
- desirable properties
- logic programming
- inference rules
- d objects
- machine learning
- wide class
- theorem prover
- qualitative and quantitative
- sufficient conditions