Words starting with equationallogi
Maybe these words will be useful:
- equational programming language — (language) (EPL) An equational language for parallel scientific applications, developed by RPI. Szymanski.
- 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").
- equational — Of, pertaining to, or constructed using equations.