Keyphrases
- sequent calculus
- cut elimination
- inference rules
- linear logic
- modal logic
- natural deduction
- linear time temporal logic
- differential equations
- wide class
- sufficient conditions
- proof search
- theorem proving
- machine learning
- fixed point
- classical logic
- graphical representation
- temporal logic
- first order logic
- general purpose
- probability distribution