Keyphrases
- proof search
- cut elimination
- sequent calculus
- linear logic
- inference rules
- wide class
- theorem proving
- natural deduction
- theorem prover
- search procedure
- intuitionistic logic
- sufficient conditions
- modal logic
- linear time temporal logic
- logical framework
- automated reasoning
- proof procedure
- desirable properties
- fixed point
- tabu search
- logic programming
- probability distribution
- knowledge base