Difference between revisions of "Equational logic"

From Wiki @ Karl Jones dot com
Jump to: navigation, search
(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...")
 
 
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 11: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