Keyphrases
- theorem proving
- horn clauses
- lattice theory
- proof theory
- classical logic
- modal logic
- equational theories
- databases
- asynchronous circuits
- logical framework
- automated reasoning
- information retrieval
- multi valued
- logic programming
- set theory
- clustering algorithm
- dynamic logic
- search engine
- logical operations
- algebraic properties
- data mining