Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras

Miguel Campercholi, Diego Castaño, José Patricio Díaz Varela +1

An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists !\wedge p=q$. For a logic $L$ algebraized by a qu…