Membership equational logic, calculus of inductive instructions, and rewrite logic.
Jean-Pierre JouannaudPublished in: WRLA (1998)
Keyphrases
- logic programming
- modal logic
- computer algebra
- natural deduction
- automated reasoning
- classical logic
- formal language
- deductive reasoning
- automated theorem proving
- multi valued
- digital circuits
- sequent calculus
- defeasible logic
- theorem proving
- databases
- predicate logic
- epistemic logic
- asynchronous circuits
- linear logic
- theorem prover
- boolean algebra
- inductive learning
- database systems
- proof search
- artificial intelligence