Free-algebraic characterizations of primal and independent algebras.
F. M. Sioson · Proceedings of the American Mathematical Society · 1961
In the study of many-valued logics, one is led to consider a (finitary) algebra (A, Oi, ■ ■ ■ , on), or simply A, with a finite number of primitive operations that generate by composition all functions in AAm for each mi, ■ ■ • , 4>k,) = 0,(01, • • • , 0*,.)-