 The formal definition of algebraizable logic is as follows. A logic \(\bL\) is algebraizable if there is a class of algebras \(\bK\), a set of equations \(\iEq(p)\) in one variable and a set of formulas \(\Delta(p, q)\) in two variables such that