Some Varieties of Equational Logic.

Gordon D. Plotkin

Published in: Essays Dedicated to Joseph A. Goguen (2006)

Keyphrases

horn clauses
theorem proving
classical logic
logic programming
equational theories
modal logic
automated reasoning
multi valued
lattice theory
databases
abductive reasoning
real time
data structure
information systems
theorem prover
computer vision
learning algorithm
computational properties
logic synthesis