Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- proof search
- classical logic
- multi valued
- theorem proving
- inference rules
- logic synthesis
- logical framework
- logic programming
- automated theorem proving
- predicate logic
- linear logic
- real world
- computer algebra
- equational theories
- epistemic logic
- digital circuits
- decision procedures
- probabilistic logic
- automated theorem provers
- defeasible logic
- automated reasoning
- modal logic
- logic programs
- relational databases