Difference between revisions of "Equational logic"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (Created page with "'''First-order equational logic''' consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol. == Description == The model t...") |
Karl Jones (Talk | contribs) |
||
| Line 3: | Line 3: | ||
== Description == | == Description == | ||
| − | 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"). | + | 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 [[William Lawvere]] ("algebraic theories"). |
The terms of equational logic are built up from variables and constants using function symbols (or operations). | The terms of equational logic are built up from variables and constants using function symbols (or operations). | ||
Latest revision as of 10:54, 9 September 2016
First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol.
Description
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 William Lawvere ("algebraic theories").
The terms of equational logic are built up from variables and constants using function symbols (or operations).
See also
External links
- Equational logic @ Wikipedia
