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