equational logic
<logic> Firstorder equational logic consists of quantifierfree terms of
ordinary firstorder 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").
(19950221)
Nearby terms:
EQLog « Eqn « equals « equational logic »
Equel » equivalence class » equivalence class
partitioning
