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, Grätzer and Cohn. It was later made into a branch of category theory by Lawvere ("algebraic theories").

单词	Equational logic
释义	Equational logic 英语百科 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, Grätzer and Cohn. It was later made into a branch of category theory by Lawvere ("algebraic theories").
随便看	hard sphere fluid hard sphere model hard sphere potential hard sphere theory hardsport hard spot hard spots hard spot stress hard spring hard spring, hardening spring hard spring wheat hard spun hardspun Hardstaff hardstaffs hardstand apron hard standing hardstanding hardstand parking hardstand hard starboard Hard starboard! hard start hard starting load hard start of oscillation