英语词汇“equational logic”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	equational logic
释义	equational logic equational logic (logic)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").
随便看	mccurtain county, oklahoma mccuscusrpg mccusick metaphyseal dysplasia mccutcheon, john tinney mccuu mccv mccvb mccvlc mccw mccwrt mcc-ws mccws mccyp mccys mc'd mcd mcd4 mcd4 homolog mcda mcdaa mcdac mcdai mcdaniel executive recruiters mcdap mcdat

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。