EQUATIONAL LOGIC
\ɪkwˈe͡ɪʃənə͡l lˈɒd͡ʒɪk], \ɪkwˈeɪʃənəl lˈɒdʒɪk], \ɪ_k_w_ˈeɪ_ʃ_ə_n_əl l_ˈɒ_dʒ_ɪ_k]\
Sort: Oldest first

Firstorder equational logic consists ofquantifierfree terms of ordinary firstorder logic, withequality as the only predicate symbol. The model theoryof this logic was developed into Universal algebra byBirkhoff et al. [Birkhoff, Gratzer, Cohn]. It was later madeinto a branch of category theory by Lawvere ("algebraictheories").
By Denis Howe
Word of the day
ALL THE ESTATE
 name given England to short clause a conveyance or other assurance which purports convey "all estate, right, title, interest, claim, and demand" of the grantor, lessor, etc., in property dealt with. Dav. Conv. 93.