Equational logic
id:
equational-logic-261-15821934
title:
Equational logic
text:
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. The terms of equational logic are built up from variables and constants using function symbols.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Equational_logic
date created:
date modified:
2022-04-15T12:35:46Z
main entity:
{"identifier":"Q5384236","url":"https://www.wikidata.org/entity/Q5384236"}
image:
fields total:
13
integrity:
13