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
-
First-order equational logic consists ofquantifier-free terms of ordinary first-order 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
