英语词汇“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").
随便看	ujtmmt ujug ujung pandang ujungpandang ujv ujvbi ujvf ujvidek ujvn ujvnl ujvr ujw ujwf ujwsa u.k. uk uka ukaa ukaas ukab ukabif ukabp ukabs ukac ukacc

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