An extension theorem for submeasures on Łukasiewicz-Moisil algebras (Q2372305): Difference between revisions

The author proves the extension theorem for submeasures on Łukasiewicz-Moisil algebras. A sufficient and necessary condition for the existence of the extension is the exhaustivity of the given submeasure. For Boolean algebras it was proved by \textit{I. Dobrakov} [Dissertationes Math., Warszawa 112 (1974; Zbl 0292.28001)] and for MV-algebras by \textit{B. Riečan} [Commentat. Math. Univ. Carol. 20, 309--316 (1979; Zbl 0413.28006)].