Normalization of $MV$-algebras

I. Chajda, R. Halas, J. Kühr, A. Vanzurova

Abstract: 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.