Normalization of $MV$-algebras
Ivan Chajda, Radomír Halaš, Jan Kühr, Alena Vanžurová · Mathematica Bohemica · 2005
We consider algebras determined by all normal identities of $MV$-algebras, i.e. algebras of many-valued logics. For such algebras, we present a representation based on a normalization of a sectionally involutioned lattice, i.e. a $q$-lattice, and another one based on a normalization of a lattice-ordered group.