Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- proof search
- theorem prover
- modal logic
- inference rules
- automated reasoning
- multi valued
- decision procedures
- logical framework
- databases
- digital circuits
- logic programming
- automated theorem proving
- rewriting systems
- datalog programs
- computer algebra
- predicate logic
- theorem proving
- conjunctive queries
- database systems