Commutator-finite D-lattices (Q2572467)

The author studies lattice-ordered D-posets (= D-lattices). She finds conditions when a commutator-finite D-lattice \(L\) can be uniquely decomposed in the form \(L \cong M\times L_1 \times \cdots\times L_n\), where \(M\) is an MV-algebra and \(L_1,\ldots,L_n\) are irreducible D-lattices which are not MV-algebras. The basic problem in question is the presence of so-called unsharp elements. In addition, she proves that the class of commutator-finite D-lattices contains, under some conditions, the class of block-finite D-lattices. This allows her to study some interesting questions concerning states and valuations.