Modal operators on symmetrical Heyting algebras
Here we initiate an investigation into the class of monadic -valued Łukasiewicz-Moisil algebras (or -algebras), namely -valued Łukasiewicz-Moisil algebras endowed with a unary operation. These algebras constitute a generalization of monadic -valued Łukasiewicz-Moisil algebras. In this article, the congruences on these algebras are determined and subdirectly irreducible algebras are characterized. From this last result it is proved that is a discriminator variety and as a consequence, the...