The equational definability of truth predicates.

James G. Raftery

Published in: Reports Math. Log. (2006)

Keyphrases

horn clauses
theorem proving
propositional logic
first order logic
inference rules
truth values
equational theories
fixed point
user defined
theorem prover
inductive logic programming
real time
data structure
fixpoint
symmetry breaking
multi agent
valued logic
website