# equational logic

## equational logic

(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 et al. [Birkhoff, Gratzer, Cohn]. It was later made
into a branch of category theory by Lawvere ("algebraic
theories").

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, or visit the webmaster's page for free fun content.

Link to this page: