Keyphrases
- complexity analysis
- cut elimination
- sequent calculus
- linear logic
- inference rules
- wide class
- natural deduction
- first order logic
- lower bound
- sufficient conditions
- theoretical analysis
- proof theoretic
- sequent calculi
- computational complexity
- linear time temporal logic
- modal logic
- proof search
- logic programming
- fixed point
- knowledge representation
- artificial intelligence