Abstract
Inspired by the open problems “How to define the notions of fantastic filters and states in EQ-algebras” in [LIU, L. Z.—ZHANG, X. Y.: Implicative and positive implicative prefilters of EQ-algebras, J. Intell. Fuzzy Syst. 26 (2014), 2087–2097], we introduce the notions of fantastic filters and investigate the existence of Bosbach states and Riečan states on EQ-algebras by use of fantastic filters. Firstly, we prove that a residuated EQ-algebra has a Bosbach state if and only if it has a fantastic filter. We also establish that a good EQ-algebra has a state-morphism if and only if it has a prime fantastic filter. Furthermore, we introduce the notion of QI-EQ-algebras and obtain the necessary and sufficient condition for a residuated QI-EQ-algebra having Riečan states. Finally, we introduce the notion of semi-divisible EQ-algebras and give an example of a semi-divisible residuated EQ-algebra, which is not a semi-divisible residuated lattice. We also prove that every semi-divisible residuated EQ-algebra admits Riečan states. These works generalize a series of existing results about existence of states in several algebras, such as residuated lattices, NM-algebras, MTL-algebras, BL-algebras and so on.
This work was supported by the grant of National Natural Science Foundation of China (11971384), China 111 Project (B16037), the Fundamental Research Funds for the Central Universities (JB150115), the Shaanxi Innovation Team Project (2018TD-007) and (201809168CX9JC10).
Communicated by Anatolij Dvurečenskij
Acknowledgement
This research is partially supported by a grant of National Natural Science Foundation of China (11971384, 61976130), China 111 Project (B16037), Scientific Research Program Funded by Shanxi Provincial Education Department (18JS042), the Shaanxi Innovation Team Project (2018TD-007).
References
[1] Birkhoff, G.—von Neumann, J.: The logic of quantum mechanic, Ann. Math. 37 (1936), 823–834.10.2307/1968621Search in Google Scholar
[2] Borzooei, R. A.—Ganji Saffar, B.: States on EQ-algebras, Categ. Gen. Algebr. Struct. Appl. 7 (2017), 33–55.10.3233/IFS-151588Search in Google Scholar
[3] Borzooei, R. A.—Zebardast, F.—Aaly Kologani, M.: Some types of filters in equality algebras, J. Intell. Fuzzy Systems 29 (2015), 209–221.10.3233/IFS-151588Search in Google Scholar
[4] Ciungu, L. C.: Algebraic Foundations of Many-Valued Reasoning, Kluwer Academic, Dordrecht, 2000.Search in Google Scholar
[5] Ciungu, L. C.: Bosbach states and Riečan states on residuated lattices, J. Appl. Funct. Anal. 2 (2008), 175–188.Search in Google Scholar
[6] Ciungu, L. C.: Commutative deductive systems of pseudo BCK-algebras, Soft Comput. 22 (2018), 1189–1201.10.1007/s00500-017-2623-6Search in Google Scholar
[7] El-Zekey, M.: Representable good EQ-algebras, Soft Comput. 14 (2010), 1011–1023.10.1007/s00500-009-0491-4Search in Google Scholar
[8] El-Zekey, M.—Novák, V.—Mesiar, R.: On good EQ-algebras, Fuzzy Sets and Systems 178(1) (2011), 1–23.10.1016/j.fss.2011.05.011Search in Google Scholar
[9] de Finetti, B.: Theory of Probability, Vol, I., John Wiley and Sons, Chichester, 1974.Search in Google Scholar
[10] Georgescu, G.: Bosbach states on fuzzy structures, Soft Comput. 8 (2004), 217–230.10.1007/s00500-003-0266-2Search in Google Scholar
[11] Kolmogorov, A. N.: Grundbegriffe der Wahrscheinlicheitsrechnug, Julius Springer, Berlin, 1933.10.1007/978-3-642-49888-6Search in Google Scholar
[12] Kroupa, T.: Representation and extension of states on MV-algebras, Arch. Math. Logic 45(4) (2006), 381–392.10.1007/s00153-005-0286-ySearch in Google Scholar
[13] Liu, L. Z.—Zhang, X. Y.: Implicative and positive implicative prefilters of EQ-algebras, J. Intell. Fuzzy Systems 26 (2014), 2087–2097.10.3233/IFS-130884Search in Google Scholar
[14] Liu, L. Z.—Zhang, X. Y.: States on R0-algebras, Soft Comput. 12 (2008), 1099–1104.10.1007/s00500-008-0276-1Search in Google Scholar
[15] Liu, L. Z.—Zhang, X. Y.: States on finite linearly IMTL-algebras, Soft Comput. 15 (2011), 2021–2028.10.1007/s00500-011-0701-8Search in Google Scholar
[16] Liu, L. Z.—Zhang, X. Y.: On the existence of states on MTL-algebras, Inform. Sci. 220 (2013), 559–567.10.1016/j.ins.2012.07.046Search in Google Scholar
[17] Mohtashamnia, N.—Torkzadeh, L.: The lattice of prefilters of an EQ-algebra, Fuzzy Sets and Systems 311 (2017), 86–98.10.1016/j.fss.2016.04.015Search in Google Scholar
[18] Mundici, D.: Averaging the truth value in Lukasiewicz sentential logic, Studia Logica 55 (1995), 113–127.10.1007/BF01053035Search in Google Scholar
[19] Novák, V.: EQ-algebras: primary concepts and properties. In:Proceedings of the Czech-Japan seminar, Ninth Meeting, Kitakyushu and Nagasaki, 18-22 August 2006, Graduate School of Information, Waseda University, pp. 219–223.Search in Google Scholar
[20] Novák, V.—Baets, B. D.: EQ-algebras, Fuzzy Sets and Systems 160 (2009), 2956–2978.10.1016/j.fss.2009.04.010Search in Google Scholar
[21] Novák, V.: On fuzzy type theory, Fuzzy Sets and Systems 142(2) (2005), 235–273.10.1016/j.fss.2004.03.027Search in Google Scholar
[22] Novák, V.: Fuzzy type theory as higher-order fuzzy logic. In: Proceedings of the 6th International Conference on Intelligent Technologies, Bangkok, Thailand, 2005.Search in Google Scholar
[23] Turunen, E.: Mathematics Behind Fuzzy Logic, Springer, Heidelberg, 1999.Search in Google Scholar
[24] Turunen, E.—Mertanen, J.: States on semi-divisible residuated lattices, Soft Comput. 12 (2008), 353–357.10.1007/s00500-007-0182-ySearch in Google Scholar
[25] Xin, X. L.: Residuated EQ-algebras may not be residuated lattices, Fuzzy Sets and Systems (2019), in press; https://doi.org/10.1016/j.fss.2019.04.012.10.1016/j.fss.2019.04.012Search in Google Scholar
[26] Xin, X. L.—He, P. F.—Yang, Y. W.: Characterizations of some fuzzy prefilters (filters) in EQ-algebras, Sci. World J. 2014 (2014), 1–12.10.1155/2014/829527Search in Google Scholar
[27] Zebardast, F.—Borzooei, R. A.—Aaly Kologanib, M.: Results on equality algebras, Inform. Sci. 361 (2017), 270–282.10.1016/j.ins.2016.11.027Search in Google Scholar
© 2020 Mathematical Institute Slovak Academy of Sciences