Keyphrases
- sequent calculus
- cut elimination
- linear logic
- inference rules
- modal logic
- natural deduction
- linear time temporal logic
- proof search
- wide class
- classical logic
- sufficient conditions
- fixed point
- theorem prover
- knowledge representation and reasoning
- first order logic
- theorem proving
- automated reasoning
- artificial intelligence
- propositional logic
- logic programming
- training set
- expert systems