equational logic

E e

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of equational logic words

noun Technical meaning of equational logic (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 et al. [Birkhoff, Gratzer, Cohn]. It was later made into a branch of category theory by Lawvere ("algebraic theories"). 1

Just one definition for equational logic

Information block about the term

Parts of speech for Equational logic

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Equational logic

See also

All definitions of equational logic

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?