Keyphrases
- linear logic
- cut elimination
- sequent calculus
- proof search
- natural deduction
- logical framework
- fixed point
- logic programming
- proof theoretic
- intuitionistic logic
- desirable properties
- theorem proving
- inference rules
- sufficient conditions
- decision procedures
- search space
- modal logic
- higher order
- knowledge representation