Keyphrases
- lower bound
- cut elimination
- sequent calculus
- linear logic
- upper bound
- wide class
- natural deduction
- inference rules
- branch and bound
- sufficient conditions
- proof theoretic
- np hard
- modal logic
- optimal solution
- linear time temporal logic
- objective function
- proof search
- logical framework
- desirable properties
- fixed point
- logic programming
- probabilistic model