Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.

George Voutsadakis

Published in: Log. J. IGPL (2004)

Keyphrases

logic programming
classical logic
categorical data
high level
computer algebra
predicate logic
automated reasoning
multi valued
asynchronous circuits
theorem proving
theorem prover
logical framework
modal logic
computational properties
logic programs
proof theory
information systems