[1] : The Free On-line Dictionary of Computing (27 SEP 03)

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".
     
        1995-02-21
     
     
see also:
quantifier first-order logic predicate model theory universal algebra category theory 

Boolean Logic >> B Words
Boolean Logic, definition of term: Boolean Logic
boolean+logic_pag1.html