×

Normalization of MV-algebras. (English) Zbl 1112.06012

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

MSC:

06D35 MV-algebras
06F20 Ordered abelian groups, Riesz groups, ordered linear spaces
08B20 Free algebras
PDFBibTeX XMLCite
Full Text: EuDML Link