Flat algebras and the translation of universal Horn logic to equational logic.

Published in: J. Symb. Log. (2008)

Keyphrases

horn logic
propositional logic
belief change

horn clauses
theorem proving
belief revision

horn contraction
multi valued
inductive logic programming

theorem prover
relation algebra