(logic) | equational 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"). |

Browse

Equanimous

Equant

equatability

Equate

equating

Equating for curves

Equating for grades

Equation

Equation box

Equation clock

Equation of a curve

Equation of condition

Equation of equinoxes

Equation of payments

Equation of the center

Equation of time

**-- equational logic --**

Equations of condition

Equator

Equator of the sun

Equatorial

equatorial current

Equatorial Guinea

Equatorial Guinea monetary unit

Equatorial telescope

Equatorially

Equel

Equerry

Equery

Equestrian

equestrian sport

Equestrianism

Equestrienne

Equant

equatability

Equate

equating

Equating for curves

Equating for grades

Equation

Equation box

Equation clock

Equation of a curve

Equation of condition

Equation of equinoxes

Equation of payments

Equation of the center

Equation of time

Equations of condition

Equator

Equator of the sun

Equatorial

equatorial current

Equatorial Guinea

Equatorial Guinea monetary unit

Equatorial telescope

Equatorially

Equel

Equerry

Equery

Equestrian

equestrian sport

Equestrianism

Equestrienne