Equational logic
From Wiki @ Karl Jones dot com
Revision as of 10:54, 9 September 2016 by Karl Jones (Talk | contribs)
First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol.
Description
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 William Lawvere ("algebraic theories").
The terms of equational logic are built up from variables and constants using function symbols (or operations).
See also
External links
- Equational logic @ Wikipedia
