Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561): Difference between revisions

A bounded weak-commutative residuated lattice with an S4-like modal operator (BRL\(_O^w\) for short) is a bounded residuated lattice with an S4-like modal operator satisfying the weak-commutativity condition: \((x\wedge 1)^k=y(x\wedge 1)^k\) for some \(n\in{\mathbb N}\). In the paper under review, the author investigates the properties of semisimple and discriminator varieties of BRL\(_O^w\), showing that a semisimple variety of BRL\(_O^w\) is a discriminator variety. In the main result, a special condition (P) is given such that, for a variety \({\mathcal V}\) of BRL\(_O^w\), the following are equivalent: {\parindent=6mm \begin{itemize}\item[1.] \({\mathcal V}\) satisfies (P);\item[2.] \({\mathcal V}\) is a semisimple variety; \item[3.] \({\mathcal V}\) is a discriminator variety. \end{itemize}} As a consequence, this result is valid for the varieties of the class of commutative residuated lattices with an S4-like modal operator. The particular results are obtained for the case of the varieties of FL\(_e\)-algebras and FL\(_{ew}\)-algebras.