Login / Signup
Flat algebras and the translation of universal Horn logic to equational logic.
Marcel Jackson
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