Advertisement

On the relationships between hybrid generalized Bosbach states and L-filters in non-commutative residuated lattices

  • Weibing ZuoEmail author
Foundations
  • 13 Downloads

Abstract

States and filters play the essential roles in studying logical algebras. In this paper, we study the relationships between hybrid generalized Bosbach states and L-filters and hybrid L-filters in non-commutative residuated lattices. Particularly, two types of L-filters and hybrid L-filters and their subclasses are defined, and some of their properties are obtained. Then, relationships between special types of (hybrid) L-filters and the hybrid generalized Bosbach states are considered where hybrid generalized Bosbach states are characterized by some type I or type II (hybrid) L-filters with additional conditions. Associated with these relationships, new subclasses of hybrid generalized Bosbach states such as implicative type IV-1, IV-2, V-1, V-2, VI-1, VI-2 states, Involution type IV-1, IV-2 states and Boolean type IV-1, IV-2 states are introduced, and the relationships between various types of hybrid generalized Bosbach states are investigated in detail.

Keywords

Non-commutative residuated lattice Hybrid L-filter Hybrid generalized Bosbach state Implicative type IV-1(resp. IV-2, V-1, V-2, VI-1, VI-2) state 

Notes

Acknowledgements

This work was supported by the Natural Science Foundation of Henan Province of China (No. 152300410112).

Compliance with ethical standards

Conflict of interest

The authors declare that they have no conflict of interests.

Human and animal participants

This article does not contain any studies with human participants or animals performed by any of the authors.

References

  1. Bakhshi M (2013) Some types of filters in non-commutative residuated lattices. Int J Math Comput 21(4):72–87MathSciNetGoogle Scholar
  2. Borzooei RA, Dvurečenskij A, Zahiri O (2014) State BCK-algebras and state-morphism BCK-algebras. Fuzzy Sets Syst 244:86–105MathSciNetCrossRefzbMATHGoogle Scholar
  3. Botur M, Dvurečenskij A (2013) State-morphism algebras: general approach. Fuzzy Sets Syst 218:90–102MathSciNetCrossRefzbMATHGoogle Scholar
  4. Botur M, Halaš R, Kühr J (2012) States on commutative basic algebras. Fuzzy Sets Syst 187:77–91MathSciNetCrossRefzbMATHGoogle Scholar
  5. Buşneag C (2010) States on Hilbert algebras. Stud Log 94:177–188MathSciNetCrossRefzbMATHGoogle Scholar
  6. Buşneag C, Piciu D (2015) A new approach for classification of filters in residuated lattices. Fuzzy Sets Syst 260:121–130MathSciNetCrossRefzbMATHGoogle Scholar
  7. Ciungu LC (2008a) Bosbach and Riečan states on residuated lattices. J Appl Funct Anal 2:175–188zbMATHGoogle Scholar
  8. Ciungu LC (2008b) States on pseudo-BCK algebras. Math Rep 10:17–36MathSciNetzbMATHGoogle Scholar
  9. Ciungu LC (2014) Non-commutative multiple-valued logic algebras. Springer, New YorkCrossRefzbMATHGoogle Scholar
  10. Ciungu LC, Dvurečenskij A, Hyčko M (2011) State BL-algebras. Soft Comput 15:619–634CrossRefzbMATHGoogle Scholar
  11. Ciungu LC, Georgescu G, Mureşan C (2013a) Generalized Bosbach states: part I. Arch Math Log 52:335–376MathSciNetCrossRefzbMATHGoogle Scholar
  12. Ciungu LC, Georgescu G, Mureşan C (2013b) Generalized Bosbach states: part II. Arch Math Log 52:707–732MathSciNetCrossRefzbMATHGoogle Scholar
  13. Di Nola A, Dvurečenskij A, Lettieri A (2010) On varieties of MV-algebras with internal states. Int J Approx Reason 51:680–694MathSciNetCrossRefzbMATHGoogle Scholar
  14. Dvurečenskij A (2001) State on pseudo-MV algebras. Stud Log 68:301–329MathSciNetCrossRefzbMATHGoogle Scholar
  15. Dvurečenskij A (2011) States on quantum structures versus integral. Int J Theor Phys 50:3761–3777MathSciNetCrossRefzbMATHGoogle Scholar
  16. Dvurečenskij A, Rachůnek J (2006a) Bounded commutative residuated Rl-monoids with general comparability and states. Soft Comput 10:212–218CrossRefzbMATHGoogle Scholar
  17. Dvurečenskij A, Rachůnek J (2006b) Probabilistic averaging in bounded Rl-monoids. Semigroup Forum 72:191–206MathSciNetCrossRefzbMATHGoogle Scholar
  18. Dvurečenskij A, Rachůnek J (2006c) On Riečan and Bosbach states for bounded non-commutative Rl-monoids. Math Slovaca 56:487–500MathSciNetzbMATHGoogle Scholar
  19. Dvurečenskij A, Rachůnek J, Šalounová D (2012) State operators on generalizations of fuzzy structures. Fuzzy Sets Syst 187:58–76MathSciNetCrossRefzbMATHGoogle Scholar
  20. Flaminio T, Montagna F (2009) MV-algebras with internal states and probabilistic fuzzy logic. Int J Approx Reason 50:138–152MathSciNetCrossRefzbMATHGoogle Scholar
  21. Galatos N, Tsinakis C (2005) Generalized MV-algebras. J Algebra 283:254–291MathSciNetCrossRefzbMATHGoogle Scholar
  22. Georgescu G (2004) Bosbach states on fuzzy structures. Soft Comput 8:217–230MathSciNetCrossRefzbMATHGoogle Scholar
  23. Ghorbani S (2017) Obstinate, weak implicative and fantastic filters of non-commutative residuated lattices. Afr Mat 28:69–84MathSciNetCrossRefzbMATHGoogle Scholar
  24. Hájek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, DordrechtCrossRefzbMATHGoogle Scholar
  25. Haveshki M (2014) A note on some types of filters in MTL-algebras. Fuzzy Sets Syst 247:135–137MathSciNetCrossRefzbMATHGoogle Scholar
  26. Haveshki M, Borumand Saeid A, Eslami E (2006) Some types of filters in BL-algebras. Soft Comput 10:657–664CrossRefzbMATHGoogle Scholar
  27. He P, Xin X, Yang Y (2015) On state residuated lattices. Soft Comput 19:2083–2094CrossRefzbMATHGoogle Scholar
  28. Jenčová A, Pulmannnová S (2015) Effect algebras with state operator. Fuzzy Sets Syst 260:43–61MathSciNetCrossRefzbMATHGoogle Scholar
  29. Jun YB, Xu Y, Zhang XH (2005) Fuzzy filters of MTL-algebras. Inf Sci 175:120–138MathSciNetCrossRefzbMATHGoogle Scholar
  30. Kondo M (2012) Filter theory of non-commutative residuated lattices. Rims Kokyuroku 1809:87–92Google Scholar
  31. Kondo M, Dudek WA (2008) Filter theory of BL-algebras. Soft Comput 12:419–423CrossRefzbMATHGoogle Scholar
  32. Kroupa T (2006a) Every state on semisimple MV-algebra is integral. Fuzzy Sets Syst 157:2771–2782MathSciNetCrossRefzbMATHGoogle Scholar
  33. Kroupa T (2006b) Representation and extension of states on MV-algebras. Arch Math Log 45:381–392MathSciNetCrossRefzbMATHGoogle Scholar
  34. Liu LZ (2011) States on finite monoidal t-norm based algebras. Inf Sci 181:1369–1383MathSciNetCrossRefzbMATHGoogle Scholar
  35. Liu LZ (2013) On the existence of states on MTL-algebras. Inf Sci 220:559–567MathSciNetCrossRefzbMATHGoogle Scholar
  36. Liu LZ, Li KT (2007) Boolean filters and positive implicative filters of residuated lattices. Inf Sci 177:5725–5738MathSciNetCrossRefzbMATHGoogle Scholar
  37. Liu LZ, Zhang X (2008) States on \(\text{ R }_0\)-algebras. Soft Comput 12:1099–1104CrossRefGoogle Scholar
  38. Ma ZM, Fu ZW (2015) Algebraic study to generalized Bosbach states on residuated lattices. Soft Comput 19:2541–2550CrossRefzbMATHGoogle Scholar
  39. Ma ZM, Hu BQ (2014) Characterizations and new subclasses of I-filters in residuated lattices. Fuzzy Sets Syst 247:92–107MathSciNetCrossRefzbMATHGoogle Scholar
  40. Ma ZM, Yang W (2016a) Hybrid generalized Bosbach and Riečan states on non-commutative residuated lattices. Int J Gen Syst 45(6):711–733MathSciNetCrossRefzbMATHGoogle Scholar
  41. Ma ZM, Yang W (2016b) Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices. Soft Comput 20:3125–3138CrossRefzbMATHGoogle Scholar
  42. Mundici D (1995) Averaging the truth-value in Łukasiewicz logic. Stud Log 55:113–127CrossRefzbMATHGoogle Scholar
  43. Rachůnek J, Šalounová D (2011) State operators on GMV-algebras. Soft Comput 15:327–334CrossRefzbMATHGoogle Scholar
  44. Turunen E, Mertanen J (2008) States on semi-divisible residuated lattices. Soft Comput 12:353–357CrossRefzbMATHGoogle Scholar
  45. Van Gases B, Deschrijver G, Cornelis C, Kerre EE (2010) Filters of residuated lattices and triangle algebras. Inf Sci 180:3006–3020MathSciNetCrossRefzbMATHGoogle Scholar
  46. Víta M (2014) Fuzzy t-filters and their properties. Fuzzy Sets Syst 247:127–134MathSciNetCrossRefzbMATHGoogle Scholar
  47. Zadeh LA (1965) Fuzzy sets. Inf Control 8:338–353CrossRefzbMATHGoogle Scholar
  48. Zhang J (2011) Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras. Fuzzy Sets Syst 178:38–53MathSciNetCrossRefzbMATHGoogle Scholar
  49. Zhao B, Zhou HJ (2013) Generalized Bosbach and Riečan states on Nucleus-based-Glivenko residuated lattices. Arch Math Log 52:689–706CrossRefzbMATHGoogle Scholar
  50. 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–26CrossRefzbMATHGoogle Scholar
  51. Zhou HJ, Zhao B (2012) Generalized Bosbach and Riečan states on relative negations in residuated lattices. Fuzzy Sets Syst 187:33–57CrossRefzbMATHGoogle Scholar
  52. Zhu Y, Xu Y (2010) On filter theory of residuated lattices. Inf Sci 180:3614–3632MathSciNetCrossRefzbMATHGoogle Scholar
  53. Zuo WB (2017) New types of generalized Bosbach states on non-commutative residuated lattices. Soft Comput.  https://doi.org/10.1007/s00500-017-2802-5 Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  1. 1.College of Mathematics and StatisticsNorth China University of Water Resources and Electric PowerZhengzhouChina

Personalised recommendations