Abstract
We define states on bounded commutative residuated lattices and consider their property. We show that, for a bounded commutative residuated lattice X,
-
(1)
If s is a state, then X/ker(s) is an MV-algebra.
-
(2)
If s is a state-morphism, then X/ker(s) is a linearly ordered locally finite MV-algebra.
Moreover we show that for a state s on X, the following statements are equivalent:
-
(i)
s is a state-morphism on X.
-
(ii)
ker(s) is a maximal filter of X.
-
(iii)
s is extremal on X.
Similar content being viewed by others
References
CIGNOLI, R.— D’OTTAVIANO, I.— MUNDICI, D.: Algebraic Foundations of Manyvalued Reasoning, Kluwer Acad. Publ., Dordrecht, 2000.
DVUREČENSKIJ, A.: States on pseudo MV-algebras, Studia Logica 68 (2001), 301–327.
DI NOLA, A.— GEROGESCU, G.— IORGULESCU, A.: Pseudo-BL algebras I; II, Mult.-Valued Logic 8 (2002), 673–714; 717–750.
DVUREČENSKIJ, A.— RACHŮNEK, J.: Probabilistic averaging in bounded commutative residuated ℓ-monoids, Discrete Math. 306 (2006), 1317–1326.
DVUREČENSKIJ, A.— RACHŮNEK, J.: Probabilistic averaging in bounded Rℓ-monoids, Semigroup Forum 72 (2006), 190–206.
DVUREČENSKIJ, A.— RACHŮNEK, J.: On Riečan and Bosbach states for bounded non-commutative Rℓ-monoids, Math. Slovaca 56 (2006), 487–500.
GEORGESCU, G.: Bosbach states on fuzzy structures, Soft Comput. 8 (2004), 217–230.
HÁJEK, P.: Metamathematics of Fuzzy Logic, Kluwer Acad. Publ., Dordrecht, 1998.
KÔPKA, F.— CHOVANEC, F.: D-Posets, Math. Slovaca 44 (1994), 21–34.
RACHŮNEK, J.— SLEZÁK, J.: Negation in bounded commutative DRℓ-monoids, Czechoslovak Math. J. 56 (2006), 755–763.
TURUNEN, E.— SEESA, S.: Local BL-algebras, Mult.-Valued Logic 6 (2001), 229–249.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Anatolij Dvurečenskij
This work was supported by JSPS KAKENHI Grant No. 24500024.
About this article
Cite this article
Kondo, M. States on bounded commutative residuated lattices. Math. Slovaca 64, 1093–1104 (2014). https://doi.org/10.2478/s12175-014-0261-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.2478/s12175-014-0261-3