Abstract
The main goal of this paper is to investigate EQ-algebras with internal states and state morphism good EQ-algebras. To begin with, we introduce the notion of EQ-algebras with internal states (simplify, SEQ-algebras) and discuss the relation between SEQ-algebras and state EQ-algebras. In the following, we study state filters (simplify, S-filters) and state prefilters (simplify, S-prefilters) of SEQ-algebras and discuss subdirectly irreducible SEQ-algebras. We focus on algebraic structures of the set SPF\((E,\sigma )\) of all S-prefilters on a SEQ-algebra and obtain that SPF\((E,\sigma )\) forms a complete Brouwerian lattice, when E is an \(\ell \)EQ-algebra or good. Moreover, for \(\ell \)EQ-algebras, SPF\((E,\sigma )\) forms a Heyting algebra if \(\sigma \) is faithful and preserves \(\rightarrow \). Then, we introduce the \(\sigma \)-co-annihilator of a non-empty set A on a SEQ-algebra. As applications, we give a characterization for minimal prime S-prefilters of state morphism good EQ-algebras and characterize the representable state morphism good EQ-algebras by minimal prime S-prefilters.
Similar content being viewed by others
References
Borzooei RA, Saffar BG (2015) States on EQ-algebras. J Intell Fuzzy Syst 29(1):209–221
Borzooei RA, Dvurečenskij A, Zahiri O (2014) State BCK-algebras and state-morphism BCK-algebras. Fuzzy Sets Syst 244:86–105
Burris S, Sankappanavar HP (1981) A course in universal algebra. Springer, New York
Ciungu LC (2008) Bosbach and Riečan states on residuated lattices. J Appl Funct Anal 2:175–188
Ciungu LC, Dvurečenskij A, Hyčko M (2011) State BL-algebras. Soft Comput 15:619–634
Di Nola A, Dvurečenskij A (2009) State-morphism MV-algebras. Ann Pure Appl Log 161(2):161–173
Di Nola A, Dvurečenskij A (2009) On some classes of state morphism MV-algebras. Math Slovaca 59(5):517–534
Dvurečenskij A (2001) States on pseudo MV-algebras. Stud Log 68(3):301–327
Dvurečenskij A, Hyčko M (2005) On the existence of states for linear pseudo BL-algebra. Atti Semin Mat Fis Univ Modena Reggio Emilia 53:93–110
Dvurečenskij A, Kowalski T, Montagna F (2011) State morphism MV-algebras. Int J Approx Reason 52:1215–1228
El-Zekey M (2010) Representable good EQ-algebras. Soft Comput 14:1011–1023
El-Zekey M, Novák V, Mesiar R (2011) On good EQ-algebras. Fuzzy Sets Syst 178:1–23
Flaminio T, Montagna F (2009) MV-algebras with internal states and probabilistic fuzzy logic. Int J Approx Reason 50(1):138–152
Flaminio T, Montagna F (2007) An algebraic approach to states on MV-algebras. In: Štěpnička M, Novák V, Bodenhofer U (eds) Proceedings of the 5th EUSFLAT conference, Ostrava,Czech Republic, 11–14 Sept, vol 2, pp 201–206
He PF, Xin XL, Yang YW (2015) On state residuated lattices. Soft Comput 19:2083–2094
Kroupa T (2006) Every state on semisimple MV-algebra is integral. Fuzzy Sets Syst 157(20):2771–2782
Liu LZ (2013) On the existence of states on MTL-algebras. Inf Sci 220:559–567
Mohtashamnia N, Torkzadeh L (2016) The lattice of prefilters of an EQ-algebra. Fuzzy Sets Syst. doi:10.1016/j.fss.2016.04.015
Mundici D (1995) Averaging the truth value in Łukasiewicz logic. Stud Log 55:113–127
Novák V (2005a) On fuzzy type theory. Fuzzy Sets Syst 149(2):235–273
Novák V (2005b) Fuzzy type theory as higher-order fuzzy logic. In: Proceedings of the 6th international conference on intelligent technologies, Bangkok, Thailand
Novák V (2006) EQ-algebras: primary concepts and properties. In: Proceedings of the Czech–Japan seminar, ninth meeting, Kitakyushu and Nagasaki, 18–22 Aug, Graduate School of Information, Waseda University, pp 219–223
Novák V, Baets BD (2009) EQ-algebras. Fuzzy Sets Syst 160:2956–2978
Riečan B (2000) On the probability on BL-algebras. Acta Math Nitra 4:3–13
Acknowledgements
This research was supported by a grant of National Natural Science Foundation of China (11571281).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that there is no conflict of interests.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Informed consent
Informed consent was obtained from all individual participants included in the study.
Additional information
Communicated by A. Di Nola.
Rights and permissions
About this article
Cite this article
Wang, W., Xin, X.L. & Wang, J.T. EQ-algebras with internal states. Soft Comput 22, 2825–2841 (2018). https://doi.org/10.1007/s00500-017-2754-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-017-2754-9