A determination principle for algebras of \(n\)-valued Łukasiewicz logic (Q958991)

The \(n\)-valued Łukasiewicz-Moisil algebras, MV-algebras and Post algebras are structures developed in connection with the algebra of \(n\)-valued Łukasiewicz logic. The main scope of this paper is to obtain a determination principle for subalgebras of \(n\)-valued Łukasiewicz-Moisil algebras (\(\text{LM}_{n+1}\)-algebras), MV-algebras (\(\text{MV}_{n+1}\)-algebras) and Post algebras (\(\text{P}_{n+1}\)-algebras). The author obtains categorical equivalences which allow us to represent any such structure as an algebra of decreasing Boolean sequences of length \(n\). Moreover, any algebra \(L\) belonging to one of these classes is characterized using a sequence of \(n\) Boolean ideals \(I_{1},\dots,I_{n}\subseteq C(L),\) which are called the Boolean nuances of \(L\). The type of \(L\) can be deduced from set-theoretical properties of the corresponding sequence of Boolean ideals. As an application, the author proves that \(L\) is a \(\sigma\)-complete if and only if the corresponding ideals are \(\sigma\)-closed.