Keyphrases
- sequent calculi
- cut elimination
- proof search
- sequent calculus
- linear logic
- inference rules
- wide class
- natural deduction
- theorem prover
- theorem proving
- sufficient conditions
- modal logic
- search procedure
- desirable properties
- logical framework
- fixed point
- logic programming
- conditional logic
- evolutionary algorithm
- general purpose