Dictionary    Maps    Thesaurus    Translate    Advanced >   


Tip: Click a synonym from the results below to see its synonyms.

No results could be found matching the exact term equational logic in the thesaurus.
Try one of these suggestions:
equation  esteem  esteemed  estimable  estimate  estimation  exceedingly  excitement  exciting  extant  extemporaneous  extemporize  extend  extended  extension  extensive  extent  extenuate  extenuating  extinct  extinction  extinguish  extinguisher 

Consider searching for the individual words equational, or logic.
Dictionary Results for equational logic:
1. The Free On-line Dictionary of Computing (30 December 2018)
equational logic

    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)


Common Misspellings >
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.

©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy