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").

Last updated: 1995-02-21

Try this search on Wikipedia, OneLook, Google

Nearby terms: EQLog « Eqn « equals « equational logic » Equational Programming Language » Equel » equivalence class


Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.