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

01.08.2015 | Foundations

On state residuated lattices

verfasst von: Pengfei He, Xiaolong Xin, Yongwei Yang

Erschienen in: Soft Computing | Ausgabe 8/2015

Einloggen

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

search-config
loading …

Abstract

In the paper, we introduce the notion of state operators on residuated lattices and investigate some related properties of such operators. Also, we give characterizations of Rl-monoids and Heyting algebras, and discuss relations between state operators and states on residuated lattices. Using state filters on state residuated lattices, we characterize two kinds of state residuated lattices, which are state simple and state local. Moreover, we focus on algebraic structures of the set \(SF[L]\) of all state filters on state residuated lattices. We obtain that \(SF[L]\) forms a coherent frame and a pseudocomplemented lattice. Then, we introduce the co-annihilator of a nonempty set \(X\) with respect to a state filter \(F\) and study some properties of them. As applications, we show that if \(F\) and \(G\) are filters in a residuated lattice, then the co-annihilator of \(G\) with respect to \(F\) is the relative pseudocomplement of \(G\) with respect to \(F\) in the lattice \(F[L]\) of all filters of residuated lattices.

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 Chang CC (1958) Algebraic analysis of many-valued logic. Trans Am Math Soc 88:467–490CrossRef Chang CC (1958) Algebraic analysis of many-valued logic. Trans Am Math Soc 88:467–490CrossRef
Zurück zum Zitat Ciungu LC (2008) Bosbach and Riečan states on residuated lattices. J Appl Funct Anal 2:175–188 Ciungu LC (2008) Bosbach and Riečan states on residuated lattices. J Appl Funct Anal 2:175–188
Zurück zum Zitat Ciungu LC, Dvurečenskij A, Hyčko M (2011) State \(BL\)-algebras. Soft Comput 15:619–634CrossRef Ciungu LC, Dvurečenskij A, Hyčko M (2011) State \(BL\)-algebras. Soft Comput 15:619–634CrossRef
Zurück zum Zitat Dvurečenskij A (2001) States on pseudo \(MV\)-algebras. Stud Logica 68:301–327CrossRef Dvurečenskij A (2001) States on pseudo \(MV\)-algebras. Stud Logica 68:301–327CrossRef
Zurück zum Zitat Dvurečenskij A, Rachunek J, Šalounova D (2012) State operators on generalizations of fuzzy structures. Fuzzy Sets Syst 187:58–76CrossRef Dvurečenskij A, Rachunek J, Šalounova D (2012) State operators on generalizations of fuzzy structures. Fuzzy Sets Syst 187:58–76CrossRef
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, Sept 11–14, 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, Sept 11–14, 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–152MathSciNetCrossRef Flaminio T, Montagna F (2009) \(MV\)-algebras with internal states and probabilistic fuzzy logic. Int J Approx Reason 50:138–152MathSciNetCrossRef
Zurück zum Zitat Gierz G, Hofmann KH, Keimel K, Lawson JD, Mislove M, Scott DS (2003) Continuous lattices and domains. Cambridge University Press, CambridgeCrossRef Gierz G, Hofmann KH, Keimel K, Lawson JD, Mislove M, Scott DS (2003) Continuous lattices and domains. Cambridge University Press, CambridgeCrossRef
Zurück zum Zitat Grätzer G (1979) Lattice theory. W H Freeman and Company, San Francisco Grätzer G (1979) Lattice theory. W H Freeman and Company, San Francisco
Zurück zum Zitat Hájek P (1998) Metamathematics of fuzzy Logic. Trends in Logic-Studia Logica Library 4. Kluwer Academic Publishers, DordrechtCrossRef Hájek P (1998) Metamathematics of fuzzy Logic. Trends in Logic-Studia Logica Library 4. Kluwer Academic Publishers, DordrechtCrossRef
Zurück zum Zitat Höhle U (1995) Commutative residuated l-monoids. In: Höhle U, Klement E (eds) Non-classical logics and their applications to Fuzzy subsets. Kluwer, DordrechtCrossRef Höhle U (1995) Commutative residuated l-monoids. In: Höhle U, Klement E (eds) Non-classical logics and their applications to Fuzzy subsets. Kluwer, DordrechtCrossRef
Zurück zum Zitat Kowalski T, Ono H (2001) Residuated lattices: an algebraic glimpse at logic without contraction Kowalski T, Ono H (2001) Residuated lattices: an algebraic glimpse at logic without contraction
Zurück zum Zitat Liu LZ (2013) On the existence of states on \(MTL\)-algebras. Inf Sci 220:559–567CrossRef Liu LZ (2013) On the existence of states on \(MTL\)-algebras. Inf Sci 220:559–567CrossRef
Zurück zum Zitat Liu LZ, Li KT (2007) Boolean filters and positive implicative filters of residuated lattices. Inf Sci 177:5725–5738CrossRef Liu LZ, Li KT (2007) Boolean filters and positive implicative filters of residuated lattices. Inf Sci 177:5725–5738CrossRef
Zurück zum Zitat Liu LZ, Zhang XY (2011) States on finite linearly ordered \(IMTL\)-algebras. Soft Comput 15:2021–2028CrossRef Liu LZ, Zhang XY (2011) States on finite linearly ordered \(IMTL\)-algebras. Soft Comput 15:2021–2028CrossRef
Zurück zum Zitat Liu LZ, Zhang XY (2008) States on \(R_{0}\)-algebras. Soft Comput 12:1099–1104CrossRef Liu LZ, Zhang XY (2008) States on \(R_{0}\)-algebras. Soft Comput 12:1099–1104CrossRef
Zurück zum Zitat Ma ZM, Hu BQ (2014) Characterizations and new subclasses of \(I\)-filters in residuated lattices. Fuzzy Sets Syst 247:92–107MathSciNetCrossRef Ma ZM, Hu BQ (2014) Characterizations and new subclasses of \(I\)-filters in residuated lattices. Fuzzy Sets Syst 247:92–107MathSciNetCrossRef
Zurück zum Zitat Mureşan C (2010) Dense elements and classes of residuated lattices. Bull Math Soc Sci Math Roumanie 53:11–24MathSciNet Mureşan C (2010) Dense elements and classes of residuated lattices. Bull Math Soc Sci Math Roumanie 53:11–24MathSciNet
Zurück zum Zitat Piciu D (2007) Algebras of fuzzy logic. Ed. Universitaria, Craiova Piciu D (2007) Algebras of fuzzy logic. Ed. Universitaria, Craiova
Zurück zum Zitat Riečan B (2000) On the probability on \(BL\)-algebras. Acta Math Nitra 4:3–13 Riečan B (2000) On the probability on \(BL\)-algebras. Acta Math Nitra 4:3–13
Zurück zum Zitat Turunen E (1999) \(BL\)-algebras of basic fuzzy logic. Mathw Soft Comput 6:49–61MathSciNet Turunen E (1999) \(BL\)-algebras of basic fuzzy logic. Mathw Soft Comput 6:49–61MathSciNet
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–357CrossRef Turunen E, Mertanen J (2008) States on semi-divisible residuated lattices. Soft Comput 12:353–357CrossRef
Zurück zum Zitat Zhang XH, Zhou HJ, Mao XY (2014) \(IMTL(MV)\)-filters and fuzzy \(IMTL(MV)\)-filters of residuated lattices. J Intell Fuzzy Syst 26:589–596MathSciNet Zhang XH, Zhou HJ, Mao XY (2014) \(IMTL(MV)\)-filters and fuzzy \(IMTL(MV)\)-filters of residuated lattices. J Intell Fuzzy Syst 26:589–596MathSciNet
Zurück zum Zitat Zheng CY, Fan L, Cui HB (2000) Frames and continuous lattices. Capital Normal University Press, Beijing Zheng CY, Fan L, Cui HB (2000) Frames and continuous lattices. Capital Normal University Press, Beijing
Metadaten
Titel
On state residuated lattices
verfasst von
Pengfei He
Xiaolong Xin
Yongwei Yang
Publikationsdatum
01.08.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 8/2015
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-015-1620-x

Weitere Artikel der Ausgabe 8/2015

Soft Computing 8/2015 Zur Ausgabe