ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS
Miguel A. Campercholi · International Journal of Algebra and Computation · 2010
An algebraically expandable class is a class of algebras axiomatizable by a set of sentences of the form ∀∃! ∧ p = q. We find all algebraically expandable classes in the variety of implication algebras. A representation result for finite implication algebras is proved, and we also give a characterization of the class of congruence permutable implication algebras.