Completeness of many-sorted equational logic revisited.
Peter PadawitzMartin WirsingPublished in: Bull. EATCS (1984)
Keyphrases
- equational theories
- horn clauses
- automated reasoning
- modal logic
- theorem proving
- logic programming
- data quality
- knowledge base
- lattice theory
- asynchronous circuits
- theorem prover
- databases
- classical logic
- real time
- deontic logic
- formal theory
- set theory
- computational properties
- probabilistic logic
- real world
- database
- learning algorithm
- expert systems
- database systems