Abstract
Generalized Bosbach states of types I and II and hybrid generalized Bosbach states of types I and II are useful for the development of algebraic theory of probabilistic models for non-commutative fuzzy logics. In this paper, eight types of hybrid generalized Bosbach states of types III-1, III-2, IV-1, IV-2, V-1, V-2, VI-1 and VI-2 (or simply, hybrid types III-1, III-2, IV-1, IV-2, V-1, V-2, VI-1 and VI-2 state) on non-commutative residuated lattices are introduced. The relationships among hybrid generalized Bosbach states and properties of them are studied. Particularly, hybrid type III-1 state (resp. III-2 ) implies type I state (resp. hybrid type I state); hybrid type IV-1 (resp. IV-2) states are a new type of generalized Bosbach state which are different from type I, II and hybrid I, II states; hybrid type V-1 (resp. V-2) states can be equivalently defined by both type I (resp. hybrid type I) states and hybrid type IV-1 (resp. hybrid type IV-2) states; etc. The relationships between new types of generalized Bosbach states and (hybrid) generalized state-morphisms and (hybrid) generalized Riečan states are investigated.
Similar content being viewed by others
References
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, Kuhr 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
Ciungu LC (2008a) Bosbach and Riečan 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 (2014) Non-commutative multiple-valued logic algebras. Springer, New York
Ciungu LC, Dvurec̆enskij A, Hyc̆ko 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, 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–329
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 integral. Int J Theor Phys 50:3761–3777
Dvurec̆enskij A, Rachůnek J (2006a) Bounded commutative residuated Rl-monoids with general comparability and states. Soft Comput 10:212–218
Dvurec̆enskij A, Rachůnek J (2006b) Probabilistic averaging in bounded Rl-monoids. Semigroup Forum 72:191–206
Dvurec̆enskij A, Rachůnek J (2006c) On Riec̆an and Bosbach states for bounded non-commutative Rl-monoids. Math Slovaca 56:487–500
Dvurec̆enskij A, Rachůnek J, S̆alounová D (2012) State operators on generalizations of fuzzy structures. Fuzzy Sets Syst 187:58–76
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, Muresan C (2010) Generalized Bosbach states. arXiv:1007.2575
He P, Xin X, Yang Y (2015) On state residuated lattices. Soft Comput 19:2083–2094
Jenc̆ová A, Pulmannnová S (2015) Effect algebras with state operator. Fuzzy Sets Syst 260:43–61
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, Zhang X (2008) States on R\(_0\)-algebras. Soft Comput 12:1099–1104
Ma ZM, Fu ZW (2015) Algebraic study to generalized Bosbach states on residuated lattices. Soft Comput 19:2541–2550
Ma ZM, Yang W (2016a) Hybrid generalized Bosbach and Riec̆an states on non-commutative residuated lattices. Int J Gen Syst. doi:10.1080/03081079.2015.1110579
Ma ZM, Yang W (2016b) Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices. Soft Comput 20:3125–3138
Mundici D (1995) Averaging the truth-value in Łukasiewicz logic. Stud Log 55:113–127
Rachůnek J, Šalounová D (2011) State opertors on GMV-algebras. Soft Comput 15:327–334
Turunen E, Mertanen J (2008) States on semi-divisible residuated lattices. Soft Comput 12:353–357
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 (2012) Generalized Bosbach and Riec̆an states on relative negations in residuated lattices. Fuzzy Sets Syst 187:33–57
Acknowledgements
This work was supported by the Natural Science Foundation of Henan Province of China (No. 152300410112).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
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.
Additional information
Communicated by V. Loia.
Rights and permissions
About this article
Cite this article
Zuo, W. New types of generalized Bosbach states on non-commutative residuated lattices. Soft Comput 23, 947–959 (2019). https://doi.org/10.1007/s00500-017-2802-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-017-2802-5