Skip to main content
Erschienen in: Soft Computing 8/2016

17.11.2015 | Foundations

Relationships between generalized Bosbach states and L-filters on residuated lattices

verfasst von: Zhen Ming Ma, Wei Yang

Erschienen in: Soft Computing | Ausgabe 8/2016

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Bĕlohlávek R, Vychodil V (2005) Fuzzy equational logic. Springer, New YorkMATH Bĕlohlávek R, Vychodil V (2005) Fuzzy equational logic. Springer, New YorkMATH
Zurück zum Zitat Borzooei RA, Shoar SK, Ameri R (2012) Some types of filters in MTL-algebras. Fuzzy Sets Syst 187:92–102 Borzooei RA, Shoar SK, Ameri R (2012) Some types of filters in MTL-algebras. Fuzzy Sets Syst 187:92–102
Zurück zum Zitat Borzooei RA, Dvurec̆enskij A, Zahiri O (2014) State BCK-algebras and state-morphism BCK-algebras. Fuzzy Sets Syst 244:86–105 Borzooei RA, Dvurec̆enskij A, Zahiri O (2014) State BCK-algebras and state-morphism BCK-algebras. Fuzzy Sets Syst 244:86–105
Zurück zum Zitat Botur M, Dvurec̆enskij A (2013) State-morphism algebras—general approach. Fuzzy Sets Syst 218:90–102 Botur M, Dvurec̆enskij A (2013) State-morphism algebras—general approach. Fuzzy Sets Syst 218:90–102
Zurück zum Zitat Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning, trends in logic-studia logica library 7. Kluwer Academic Publishers, DordrechtMATH Cignoli R, D’Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning, trends in logic-studia logica library 7. Kluwer Academic Publishers, DordrechtMATH
Zurück zum Zitat Ciungu LC (2008a) Bosbach and Riĕcan states on residuated lattices. J Appl Funct Anal 2:175–188 Ciungu LC (2008a) Bosbach and Riĕcan states on residuated lattices. J Appl Funct Anal 2:175–188
Zurück zum Zitat Ciungu LC (2008b) States on pseudo-BCK algebras. Math Rep 10:17–36 Ciungu LC (2008b) States on pseudo-BCK algebras. Math Rep 10:17–36
Zurück zum Zitat Ciungu LC, Dvurec̆enskij A, Hycko M (2011) State BL-algebras. Soft Comput 15:619–634 Ciungu LC, Dvurec̆enskij A, Hycko M (2011) State BL-algebras. Soft Comput 15:619–634
Zurück zum Zitat Di Nola A, Dvurec̆enskij A (2009) State-morphism MV-algebras. Ann Pure Appl Log 161:161–173 Di Nola A, Dvurec̆enskij A (2009) State-morphism MV-algebras. Ann Pure Appl Log 161:161–173
Zurück zum Zitat Di Nola A, Dvurec̆enskij A, Lettieri A (2010) On varieties of MV-algebras with internal states. Int J Approx Reason 51:680–694 Di Nola A, Dvurec̆enskij A, Lettieri A (2010) On varieties of MV-algebras with internal states. Int J Approx Reason 51:680–694
Zurück zum Zitat Dvurec̆enskij A (2007) Every linear pseudo BL-algebra admits a state. Soft Comput 11:495–501CrossRef Dvurec̆enskij A (2007) Every linear pseudo BL-algebra admits a state. Soft Comput 11:495–501CrossRef
Zurück zum Zitat Dvurec̆enskij A, Rachunek J (2006a) Probabilistic averaging in bounded R\(l\)-monoids. Semigroup Forum 72:190–206 Dvurec̆enskij A, Rachunek J (2006a) Probabilistic averaging in bounded R\(l\)-monoids. Semigroup Forum 72:190–206
Zurück zum Zitat 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̆enskij A, Rachunek J (2006b) On Riec̆an and Bosbach states for bounded non-commutative R\(l\)-monoids. Math Slov 56:487–500
Zurück zum Zitat Dvurec̆censkij A, Rachunek J (2006c) Bounded commutative residuated R\(l\)-monoids with general comparability and states. Soft Comput 10:212–218 Dvurec̆censkij A, Rachunek J (2006c) Bounded commutative residuated R\(l\)-monoids with general comparability and states. Soft Comput 10:212–218
Zurück zum Zitat 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 (2012a) State operators on generalizations of fuzzy structures. Fuzzy Sets Syst 187:58–76
Zurück zum Zitat 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 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
Zurück zum Zitat Esteva F, Godo L (2001) Monoidal \(t\)-norm based logic: towards a logic for left-continuous \(t\)-norms. Fuzzy Sets Syst 124:271–288MathSciNetCrossRefMATH Esteva F, Godo L (2001) Monoidal \(t\)-norm based logic: towards a logic for left-continuous \(t\)-norms. Fuzzy Sets Syst 124:271–288MathSciNetCrossRefMATH
Zurück zum Zitat 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 (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
Zurück zum Zitat Flaminio T, Montagna F (2009) MV-algebras with internal states and probabilistic fuzzy logic. Int J Approx Reason 50:138–152MathSciNetCrossRefMATH Flaminio T, Montagna F (2009) MV-algebras with internal states and probabilistic fuzzy logic. Int J Approx Reason 50:138–152MathSciNetCrossRefMATH
Zurück zum Zitat Gutiérrez GJ, Mardones Pérez I (1999) The relationship between various filter notions on a \(GL\)-Monoid. J Math Anal Appl 230:291–302MathSciNetCrossRefMATH Gutiérrez GJ, Mardones Pérez I (1999) The relationship between various filter notions on a \(GL\)-Monoid. J Math Anal Appl 230:291–302MathSciNetCrossRefMATH
Zurück zum Zitat Hájek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, DordrechtCrossRefMATH Hájek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, DordrechtCrossRefMATH
Zurück zum Zitat Haveshki M, Borumand Saeid A, Eslami E (2006) Some types of filters in BL-algebras. Soft Comput 10:657–664CrossRefMATH Haveshki M, Borumand Saeid A, Eslami E (2006) Some types of filters in BL-algebras. Soft Comput 10:657–664CrossRefMATH
Zurück zum Zitat Jenc̆ová A, Pulmannová S (2015) Effect algebras with state operator. Fuzzy Sets Syst 260:43–61 Jenc̆ová A, Pulmannová S (2015) Effect algebras with state operator. Fuzzy Sets Syst 260:43–61
Zurück zum Zitat Jun YB, Xu Y, Zhang XH (2005) Fuzzy filters of MTL-algebras. Inf Sci 175:120–138 Jun YB, Xu Y, Zhang XH (2005) Fuzzy filters of MTL-algebras. Inf Sci 175:120–138
Zurück zum Zitat Kondo M, Dudek WA (2008) Filter theory of BL-algebras. Soft Comput 12:419–423 Kondo M, Dudek WA (2008) Filter theory of BL-algebras. Soft Comput 12:419–423
Zurück zum Zitat Kroupa T (2006a) Every state on semisimple MV-algebra is integral. Fuzzy Sets Syst 157:2771–2782 Kroupa T (2006a) Every state on semisimple MV-algebra is integral. Fuzzy Sets Syst 157:2771–2782
Zurück zum Zitat Kroupa T (2006b) Representation and extension of states on MV-algebras. Arch Math Log 45:381–392 Kroupa T (2006b) Representation and extension of states on MV-algebras. Arch Math Log 45:381–392
Zurück zum Zitat Ma ZM (2014) Two types of MTL-L-filters in residuated lattices. J Intell Fuzzy Syst 27:681–689MathSciNetMATH Ma ZM (2014) Two types of MTL-L-filters in residuated lattices. J Intell Fuzzy Syst 27:681–689MathSciNetMATH
Zurück zum Zitat Ma ZM, Hu BQ (2014) Characterizations and new subclasses of \({\cal i}\)-filters in residuated lattices. Fuzzy Sets Syst 247:92–107 Ma ZM, Hu BQ (2014) Characterizations and new subclasses of \({\cal i}\)-filters in residuated lattices. Fuzzy Sets Syst 247:92–107
Zurück zum Zitat Ma ZM, Fu ZW (2015) Algebraic study to generalized Bosbach states on residuated lattices. Soft Comput 19:2541–2550 Ma ZM, Fu ZW (2015) Algebraic study to generalized Bosbach states on residuated lattices. Soft Comput 19:2541–2550
Zurück zum Zitat Mertanen J, Turunen E (2008) States on semi-divisible generalized residuated lattices reduce to states on MV-algebras. Fuzzy Sets Syst 159:3051–3064MathSciNetCrossRefMATH Mertanen J, Turunen E (2008) States on semi-divisible generalized residuated lattices reduce to states on MV-algebras. Fuzzy Sets Syst 159:3051–3064MathSciNetCrossRefMATH
Zurück zum Zitat Rachunek J, Salounova D (2011) State operators on GMV-algebras. Soft Comput 15:327–334CrossRefMATH Rachunek J, Salounova D (2011) State operators on GMV-algebras. Soft Comput 15:327–334CrossRefMATH
Zurück zum Zitat Turunen E (1999) Mathematics behind fuzzy logic. Physica-Verlag, Heidelberg Turunen E (1999) Mathematics behind fuzzy logic. Physica-Verlag, Heidelberg
Zurück zum Zitat Turunen E, Mertanen J (2008) States on semi-divisible residuated lattices. Soft Comput 12:353–357 Turunen E, Mertanen J (2008) States on semi-divisible residuated lattices. Soft Comput 12:353–357
Zurück zum Zitat Van Gasse B, Deschrijver G, Cornelis C, Kerre EE (2010) Filters of residuated lattices and triangle algebras. Inf Sci 180:3006–3020MathSciNetCrossRefMATH Van Gasse B, Deschrijver G, Cornelis C, Kerre EE (2010) Filters of residuated lattices and triangle algebras. Inf Sci 180:3006–3020MathSciNetCrossRefMATH
Zurück zum Zitat Zhang J (2011) Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras. Fuzzy Sets Syst 178:38–53MathSciNetCrossRefMATH Zhang J (2011) Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras. Fuzzy Sets Syst 178:38–53MathSciNetCrossRefMATH
Zurück zum Zitat Zhao B, Zhou HJ (2013) Generalized Bosbach and Riec̆an states on nucleus-based-Glivenko residuated lattices. Arch Math Log 52:689–706MathSciNetCrossRefMATH Zhao B, Zhou HJ (2013) Generalized Bosbach and Riec̆an states on nucleus-based-Glivenko residuated lattices. Arch Math Log 52:689–706MathSciNetCrossRefMATH
Zurück zum Zitat 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–26MathSciNetCrossRefMATH 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–26MathSciNetCrossRefMATH
Zurück zum Zitat Zhou HJ, Zhao B (2012) Generalized Bosbach and Riec̆an states based on relative negations in residuated lattices. Fuzzy Sets Syst 187:33–57MathSciNetCrossRefMATH Zhou HJ, Zhao B (2012) Generalized Bosbach and Riec̆an states based on relative negations in residuated lattices. Fuzzy Sets Syst 187:33–57MathSciNetCrossRefMATH
Metadaten
Titel
Relationships between generalized Bosbach states and L-filters on residuated lattices
verfasst von
Zhen Ming Ma
Wei Yang
Publikationsdatum
17.11.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 8/2016
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-015-1939-3

Weitere Artikel der Ausgabe 8/2016

Soft Computing 8/2016 Zur Ausgabe

Premium Partner