Is Observational Congruence Axiomatisable in Equational Horn Logic?

Michael Mendler Gerald Lüttgen

Published in: CONCUR (2007)

Keyphrases

horn logic
propositional logic
horn clauses
theorem proving
belief change
equational theories
first order logic
theorem prover
horn contraction
belief revision
artificial intelligence
expert systems
co occurrence
inference rules