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").
| < Previous Terms | Terms Containing equational logic | Next Terms > |
| EqL EQLOG EQLog Eqn equals | ELP equational logic logic MLISP OBJ0 | Equel equivalence class equivalence class partitioning equivalence partitioning equivalence relation |
