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").
随便看	Austrian monetary unit的意思 austrian monetary units的意思 austrian movement的意思 Austrian National Bank的意思 Austrian的意思 Austrian Netherlands的意思 Austrian Oak的意思 Austrian orogeny的意思 Austrian Pine的意思 Austrian reaction的意思 Austrian的意思 Austrian Schilling的意思 Austrian Schilling的意思 Austrian School的意思 Austrian School Of Economics的意思 austrian shade cloth的意思 austrian shilling的意思 Austrian Shippers Council的意思 Austrian Stock Exchange的意思 austrian test的意思 Austrian twill的意思 Austrian winter pea的意思 austrian winter peas的意思 Austrian X disease virus的意思 Austrian zephyrs的意思