Added to Favorites

Computing Dictionary

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").

(1995-02-21)

Explore Dictionary.com

More from Thesaurus.com

Synonyms and Antonyms for equational logic

More from Reference.com

Search for articles containing equational logic

More from Dictionary.com Translator

Translate equational logic into French

Translate equational logic into German

Translate equational logic into Italian

Translate equational logic into another language

Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Nearby Words

Copyright © 2014 Dictionary.com, LLC. All rights reserved.