I. Chajda, R. Halas, J. Kühr, A. Vanzurova, Dept. of Algebra and Geometry, Palacky University Olomouc, Tomkova 40, 779 00 Olomouc, Czech Republic
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.
Keywords: $MV$-algebra, abelian lattice-ordered group, $q$-lattice, normalization of a variety
Classification (MSC2000): 06D35, 06D05, 06F20, 08B20
Full text of the article: