Keyphrases
- sequent calculus
- cut elimination
- linear logic
- natural deduction
- inference rules
- modal logic
- proof search
- proof theoretic
- theorem prover
- linear time temporal logic
- tree structure
- wide class
- theorem proving
- desirable properties
- high dimensional
- logical framework
- classical logic
- temporal logic
- logic programming
- sufficient conditions
- fixed point
- index structure
- general purpose