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
Word of the day
Platidiam
- An inorganic water-soluble platinum complex. After undergoing hydrolysis, it reacts DNA produce both intra interstrand crosslinks. These crosslinks appear to impair replication and transcription of DNA. The cytotoxicity cisplatin correlates with cellular arrest in G2 phase cell cycle.