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.
Similar content being viewed by others
References
Bakhshi M (2013) Some types of filters in non-commutative residuated lattices. Int J Math Comput 21(4):72–87
Borzooei RA, Dvurečenskij A, Zahiri O (2014) State BCK-algebras and state-morphism BCK-algebras. Fuzzy Sets Syst 244:86–105
Botur M, Dvurečenskij A (2013) State-morphism algebras: general approach. Fuzzy Sets Syst 218:90–102
Botur M, Halaš R, Kühr J (2012) States on commutative basic algebras. Fuzzy Sets Syst 187:77–91
Buşneag C (2010) States on Hilbert algebras. Stud Log 94:177–188
Buşneag C, Piciu D (2015) A new approach for classification of filters in residuated lattices. Fuzzy Sets Syst 260:121–130
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, Dvurečenskij A, Hyčko M (2011) State BL-algebras. Soft Comput 15:619–634
Ciungu LC, Georgescu G, Mureşan C (2013a) Generalized Bosbach states: part I. Arch Math Log 52:335–376
Ciungu LC, Georgescu G, Mureşan C (2013b) Generalized Bosbach states: part II. Arch Math Log 52:707–732
Di Nola A, Dvurečenskij A, Lettieri A (2010) On varieties of MV-algebras with internal states. Int J Approx Reason 51:680–694
Dvurečenskij A (2001) State on pseudo-MV algebras. Stud Log 68:301–329
Dvurečenskij A (2011) States on quantum structures versus integral. Int J Theor Phys 50:3761–3777
Dvurečenskij A, Rachůnek J (2006a) Bounded commutative residuated Rl-monoids with general comparability and states. Soft Comput 10:212–218
Dvurečenskij A, Rachůnek J (2006b) Probabilistic averaging in bounded Rl-monoids. Semigroup Forum 72:191–206
Dvurečenskij A, Rachůnek J (2006c) On Riečan and Bosbach states for bounded non-commutative Rl-monoids. Math Slovaca 56:487–500
Dvurečenskij A, Rachůnek J, Š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
Galatos N, Tsinakis C (2005) Generalized MV-algebras. J Algebra 283:254–291
Georgescu G (2004) Bosbach states on fuzzy structures. Soft Comput 8:217–230
Ghorbani S (2017) Obstinate, weak implicative and fantastic filters of non-commutative residuated lattices. Afr Mat 28:69–84
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
He P, Xin X, Yang Y (2015) On state residuated lattices. Soft Comput 19:2083–2094
Jenčová A, Pulmannnová 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
Kondo M (2012) Filter theory of non-commutative residuated lattices. Rims Kokyuroku 1809:87–92
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 LZ (2011) States on finite monoidal t-norm based algebras. Inf Sci 181:1369–1383
Liu LZ (2013) On the existence of states on MTL-algebras. Inf Sci 220:559–567
Liu LZ, Li KT (2007) Boolean filters and positive implicative filters of residuated lattices. Inf Sci 177:5725–5738
Liu LZ, Zhang X (2008) States on \(\text{ 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, Hu BQ (2014) Characterizations and new subclasses of I-filters in residuated lattices. Fuzzy Sets Syst 247:92–107
Ma ZM, Yang W (2016a) Hybrid generalized Bosbach and Riečan states on non-commutative residuated lattices. Int J Gen Syst 45(6):711–733
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 operators on GMV-algebras. Soft Comput 15:327–334
Turunen E, Mertanen J (2008) States on semi-divisible residuated lattices. Soft Comput 12:353–357
Van Gases 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 Rieč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 Riečan states 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
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
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 A. Di Nola.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Zuo, W. On the relationships between hybrid generalized Bosbach states and L-filters in non-commutative residuated lattices. Soft Comput 23, 7537–7555 (2019). https://doi.org/10.1007/s00500-018-03747-w
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-018-03747-w