<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").
(1995-02-21)
Try this search on Wikipedia, OneLook, Google
Nearby terms: EQLog « Eqn « equals « equational logic » Equational Programming Language » Equel » equivalence class
<language> (EPL) An equational language for parallel scientific applications, developed by RPI. Szymanski.
["EPL - Parallel Programming with Recurrent Equations", B. Szymanski in Parallel Functional Languages and Compilers, B. Szymanski et al, A-W 1991].
(2010-09-21)
Try this search on Wikipedia, OneLook, Google
Nearby terms: Eqn « equals « equational logic « Equational Programming Language » Equel » equivalence class » equivalence class partitioning
