Keyphrases
- linear logic
- fixed point
- logic programming
- sequent calculus
- logical framework
- cut elimination
- intuitionistic logic
- proof theoretic
- desirable properties
- high level
- inference rules
- description logics
- proof search
- first order logic
- set theory
- post processing
- natural deduction
- general purpose
- software engineering
- decision making