Word:

equational logic

(logic)equational 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").
Browse
Equanimous
Equant
equatability
Equate
equating
Equating for curves
Equating for grades
Equation
Equation box
Equation clock
Equation of a curve
Equation of condition
Equation of equinoxes
Equation of payments
Equation of the center
Equation of time
-- equational logic --
Equations of condition
Equator
Equator of the sun
Equatorial
equatorial current
Equatorial Guinea
Equatorial Guinea monetary unit
Equatorial telescope
Equatorially
Equel
Equerry
Equery
Equestrian
equestrian sport
Equestrianism
Equestrienne
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy