Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties.

George Voutsadakis

Published in: Order (2006)

Keyphrases

logic programming
predicate logic
modal logic
automated reasoning
classical logic
formal theory
logical framework
defeasible logic
active rules
proof theory
dynamic logic
abductive reasoning
digital circuits
mathematical theory
set theory
real time
horn clauses
multi valued
logic programs
clustering algorithm