English Wikipedia - The Free Encycl...
Download this dictionary
Equational logic
First-order
equational
logic
consists of
quantifier
-free terms of ordinary
first-order logic
, with equality as the only
predicate symbol
. The
model theory
of this logic was developed into
Universal algebra
by
Birkhoff
, Grätzer and
Cohn
. It was later made into a branch of
category theory
by
Lawvere
("algebraic theories"). The terms of equational logic are built up from variables and constants using function symbols (or operations).
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License