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
Nearby Words
 equated
 equating
 equation
 equation of a curve
 equationdivision
 equational logic
 ã©clat
 ã©lan
 e
 e 605
 e antigens