Abstract
Generalized Bosbach states and filters on residuated lattices have been extensively studied in the literature. In this paper, relationships between generalized Bosbach states and residuated-lattice-valued filters, also called L-filters, on residuated lattices are investigated. Particularly, type I and type II L-filters and their subclasses are defined, and some their properties are obtained. Then relationships between special types of L-filters and the generalized Bosbach states are considered where generalized Bosbach states are characterized by some type I or type II L-filters with additional conditions. Associated with these relationships, new subclasses of generalized Bosbach states such as implicative type IV, V, VI states, fantastic type IV states and Boolean type IV states are introduced, and the relationships between various types of generalized Bosbach states are investigated in detail. In particular, the existence of several generalized Bosbach states is provided and, as application, some typical subclasses of residuated lattices such as Rl-monoids, Heyting algebras and Boolean algebras are characterized by these generalized Bosbach states.
Access this article
Rent this article via DeepDyve
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Bĕlohlávek R, Vychodil V (2005) Fuzzy equational logic. Springer, New York
Borzooei RA, Shoar SK, Ameri R (2012) Some types of filters in MTL-algebras. Fuzzy Sets Syst 187:92–102
Borzooei RA, Dvurec̆enskij A, Zahiri O (2014) State BCK-algebras and state-morphism BCK-algebras. Fuzzy Sets Syst 244:86–105
Botur M, Dvurec̆enskij A (2013) State-morphism algebras—general approach. Fuzzy Sets Syst 218:90–102
Botur M, Halas̆ R, Kühr J (2012) States on commutative basic algebras. Fuzzy Sets Syst 187:77–91
Busneag C (2010) States on Hilbert algebras. Stud Log 94:177–188
Busneag D, Piciu D (2015) A new approach for classification of filters in residuated lattices. Fuzzy Sets Syst 260:121–130
Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning, trends in logic-studia logica library 7. Kluwer Academic Publishers, Dordrecht
Ciungu LC (2008a) Bosbach and Riĕcan states on residuated lattices. J Appl Funct Anal 2:175–188
Ciungu LC (2008b) States on pseudo-BCK algebras. Math Rep 10:17–36
Ciungu LC, Dvurec̆enskij A, Hycko M (2011) State BL-algebras. Soft Comput 15:619–634
Ciungu LC, Georgescu G, Mureşan C (2013) Generalized Bosbach states: part I, II. Arch Math Log 52(335–376):707–732
Di Nola A, Dvurec̆enskij A (2009) State-morphism MV-algebras. Ann Pure Appl Log 161:161–173
Di Nola A, Dvurec̆enskij A, Lettieri A (2010) On varieties of MV-algebras with internal states. Int J Approx Reason 51:680–694
Dvurec̆enskij A (2001) States on pseudo-MV-algebras. Stud Log 68:301–327
Dvurec̆enskij A (2007) Every linear pseudo BL-algebra admits a state. Soft Comput 11:495–501
Dvurec̆enskij A (2011) States on quantum structures versus integrals. Int J Theor Phys 50:3761–3777
Dvurec̆enskij A, Rachunek J (2006a) Probabilistic averaging in bounded R\(l\)-monoids. Semigroup Forum 72:190–206
Dvurec̆enskij A, Rachunek J (2006b) On Riec̆an and Bosbach states for bounded non-commutative R\(l\)-monoids. Math Slov 56:487–500
Dvurec̆censkij A, Rachunek J (2006c) Bounded commutative residuated R\(l\)-monoids with general comparability and states. Soft Comput 10:212–218
Dvurec̆enskij A, Rachunek J, S̆alounová D (2012a) State operators on generalizations of fuzzy structures. Fuzzy Sets Syst 187:58–76
Dvurec̆enskij A, Rachunek J, S̆alounová D (2012b) Erratum to “State operators on generalizations of fuzzy structures” [Fuzzy Sets and Systems 187(2012) 58–76]. Fuzzy Sets Syst 194:97–99
Esteva F, Godo L (2001) Monoidal \(t\)-norm based logic: towards a logic for left-continuous \(t\)-norms. Fuzzy Sets Syst 124:271–288
Flaminio T, Montagna F (2007) An algebraic approach to states on MV-algebras. In: Novák V (ed) Fuzzy logic 2, proceedings of the 5th EUSFLAT conference, Ostrava, vol II, pp 201–206
Flaminio T, Montagna F (2009) MV-algebras with internal states and probabilistic fuzzy logic. Int J Approx Reason 50:138–152
Georgescu G (2004) Bosbach states on fuzzy structures. Soft Comput 8:217–230
Georgescu G, Mureşan C (2010) Generalized Bosbach states. arXiv:1007.2575
Gutiérrez GJ, Mardones Pérez I (1999) The relationship between various filter notions on a \(GL\)-Monoid. J Math Anal Appl 230:291–302
Hájek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, Dordrecht
Haveshki M (2014) A note on some types of filters in MTL-algebras. Fuzzy Sets Syst 247:135–137
Haveshki M, Borumand Saeid A, Eslami E (2006) Some types of filters in BL-algebras. Soft Comput 10:657–664
Jenc̆ová A, Pulmannová S (2015) Effect algebras with state operator. Fuzzy Sets Syst 260:43–61
Jun YB, Xu Y, Zhang XH (2005) Fuzzy filters of MTL-algebras. Inf Sci 175:120–138
Jun YB, Ahn SS, Lee KJ (2013) Intersection-soft filters in R \(_{0}\)-algebras. Discret Dyn Nat Soc 2013:950897. doi:10.1155/2013/950897
Kondo M, Dudek WA (2008) Filter theory of BL-algebras. Soft Comput 12:419–423
Kroupa T (2006a) Every state on semisimple MV-algebra is integral. Fuzzy Sets Syst 157:2771–2782
Kroupa T (2006b) Representation and extension of states on MV-algebras. Arch Math Log 45:381–392
Liu L (2011) States on finite monoidal \(t\)-norm based algebras. Inf Sci 181:1369–1383
Liu L (2013) On the existence of states on MTL-algebras. Inf Sci 220:559–567
Liu L, Li K (2005) Fuzzy Boolean and positive implicative filters of BL-algebras. Fuzzy Sets Syst 152:333–348
Liu L, Zhang X (2008) States on R\(_0\)-algebras. Soft Comput 12:1099–1104
Ma ZM (2014) Two types of MTL-L-filters in residuated lattices. J Intell Fuzzy Syst 27:681–689
Ma ZM, Hu BQ (2014) Characterizations and new subclasses of \({\cal i}\)-filters in residuated lattices. Fuzzy Sets Syst 247:92–107
Ma ZM, Fu ZW (2015) Algebraic study to generalized Bosbach states on residuated lattices. Soft Comput 19:2541–2550
Mertanen J, Turunen E (2008) States on semi-divisible generalized residuated lattices reduce to states on MV-algebras. Fuzzy Sets Syst 159:3051–3064
Mundici D (1995) Averaging the truth-value in Łukasiewicz logic. Stud Log 55:113–127
Pulmannová S, Vinceková E (2015) MV-pairs and state operators. Fuzzy Sets Syst 260:62–76
Rachunek J, Salounova D (2011) State operators on GMV-algebras. Soft Comput 15:327–334
Turunen E (1999) Mathematics behind fuzzy logic. Physica-Verlag, Heidelberg
Turunen E, Mertanen J (2008) States on semi-divisible residuated lattices. Soft Comput 12:353–357
Van Gasse B, Deschrijver G, Cornelis C, Kerre EE (2010) Filters of residuated lattices and triangle algebras. Inf Sci 180:3006–3020
Víta M (2014) Fuzzy \(t\)-filters and their properties. Fuzzy Sets Syst 247:127–134
Zadeh LA (1965) Fuzzy sets. Inf Control 8:338–353
Zhang J (2011) Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras. Fuzzy Sets Syst 178:38–53
Zhao B, Zhou HJ (2013) Generalized Bosbach and Riec̆an states on nucleus-based-Glivenko residuated lattices. Arch Math Log 52:689–706
Zhou HJ, Zhao B (2011) Stone-like representation theorems and three-valued filters in R\(_0\)-algebras (nilpotent minimum algebras). Fuzzy Sets Syst 162:1–26
Zhou HJ, Zhao B (2012) Generalized Bosbach and Riec̆an states based on relative negations in residuated lattices. Fuzzy Sets Syst 187:33–57
Zhu Y, Xu Y (2010) On filter theory of residuated lattices. Inf Sci 180:3614–3632
Acknowledgments
This research was supported by AMEP (DYSP) of Linyi University (Grant No. LYDX2014BS017), the Natural Science Foundation of Shandong Province (Grant No. ZR2013FL006). The author is very grateful to the anonymous reviewers for their constructive comments and suggestions that have led to an improved version of this paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
No potential conflict of interest was reported by the authors.
Additional information
Communicated by A. Di Nola.
Rights and permissions
About this article
Cite this article
Ma, Z.M., Yang, W. Relationships between generalized Bosbach states and L-filters on residuated lattices. Soft Comput 20, 3125–3138 (2016). https://doi.org/10.1007/s00500-015-1939-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-015-1939-3