Keyphrases
- cut elimination
- sequent calculus
- linear logic
- natural deduction
- inference rules
- wide class
- proof search
- proof theoretic
- sequent calculi
- sufficient conditions
- fixed point
- theorem prover
- modal logic
- business intelligence
- intuitionistic logic
- linear time temporal logic
- theorem proving
- logical framework
- logic programming
- automated reasoning
- artificial intelligence
- propositional logic
- desirable properties
- first order logic
- software engineering
- high level