Equational logic

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

• Logic

External links

• Equational logic @ Wikipedia