Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (Q1935561): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-012-9460-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2071594204 / rank | |||
Normal rank |
Revision as of 22:57, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator |
scientific article |
Statements
Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator (English)
0 references
18 February 2013
0 references
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.
0 references
substructural logic
0 references
residuated lattice
0 references
discriminator variety
0 references
semisimple variety
0 references
EDPC
0 references
equational definable principal congruences
0 references