Applications of states to BI-algebras

Document Type : Original Article

Authors

1 Department of Mathematics, Payame Noor University, P.O.Box. 19395-3697, Tehran, Iran

2 Department of Mathematics, Payame Noor University, P.O. Box 19395-4697, Tehran, Iran

Abstract

This paper aims is to introduce states, Bosbach states and state-morphism operators on BI-algebras. We define state ideals on BI-algebras and give a characterization of the least state ideal of a BI-algebra. It is proved that the kernel of a Bosbach state on a BI-algebra X is an ideal of X. Further, by these concepts, we introduce the notions of state BI-algebras and state-morphism BI-algebras. The notion of complement pairs of a BI-algebra X is defined, and proves that under suitable conditions, there is a one-to-one correspondence between complement pairs of BI-algebras and state-morphism operators on BI-algebras.
 

Keywords


[1] S.S. Ahn, J.M. Ko, A. Borumand Saeid, On ideals of BI-algebras, Journal of the Indonesian
Mathematical Society, 25(1) (2019), 24–34.
[2] A. Borumand Saeid, H.S. Kim, A. Rezaei, On BI-algebras, Analele Stiintifice ale Universitatii
Ovidius Constanta, 25(1) (2017), 177–194.
[3] R.A. Borzooei, A. Borumand Saeid, A. Rezaei, R. Ameri, States on BE-algebras, Kochi Journal of Mathematics, 9 (2014), 27–42.
[4] R.A. Borzooei, A. Dvureˇcenskij, O. Zahiri, State BCK-algebras and state-morphism BCKalgebras, Fuzzy Sets and Systems, 244 (2014), 86–105.
[5] R.A. Borzooei, B. Ganji Saffar, States on EQ-algebras, Journal of Intelligent and Fuzzy Systems, 29 (2015), 209–221.
[6] B. Bosbach, K. Halbgruppen, Axiomatik und arithmetik, Fundamenta Mathematicae, 64
(1969), 257–287.
[7] B. Bosbach, K. Halbgruppen, Kongruenzen and quotiente, Fundamenta Mathematicae, 69
(1970), 1–14.
[8] C. Bu¸sneag, States on Hilbert algebras, Studia Logica, 94(2) (2010), 177–188.
[9] C. Bu¸sneag, State-morphisms on Hilbert algebras, Annals of the University of Craiova - Mathematics and Computer Science, 37(4) (2010), 58–64.
[10] W. Chen, W.A. Dudek, States, state operators and quasi-pseudo-MV algebras, Soft Computing, 22(24) (2018), 8025–8040.
[11] X.Y. Cheng, X.L. Xin, P.F. He, Generalized state maps and states on pseudo equality algebras,
Open Mathematics, 16 (2018), 133–148.
[12] L.C. Ciungu, Bosbach and Rieˇcan states on residuated lattices, Journal of Applied Functional
Analysis, 2 (2008), 175–188.
[13] L.C. Ciungu, States on pseudo BCK-algebras, Mathematical Reports, 10 (2008), 17–36.
[14] L.C. Ciungu, Non-commutative multiple-valued logic algebras, Springer, 2014.
[15] L.C. Ciungu, Internal states on equality algebras, Soft Computing, 19 (2015), 939–953.
[16] L.C. Ciungu, A. Borumand Saeid, A. Rezaei, Modal operators on pseudo-BE algebras, Iranian
Journal of Fuzzy Systems, 17(6) (2020), 175–191.
[17] L.C. Ciungu, A. Dvureˇcenckij, Measures, states and de finetti maps on pseudo BCK-algebras,
Fuzzy Sets and Systems, 161 (2010), 2870–2896.
[18] L.C. Ciungu, A. Dvureˇcenskij, M. Hyˇcko, State BL-algebras, Soft Computing, 15 (2011),
619–634.
[19] L.C. Ciungu, G. Georgescu, C. Mure¸san, Generalized Bosbach states: Part I, Archive for
Mathematical Logic, 52 (2013), 335–376.
[20] L.C. Ciungu, G. Georgescu, C. Mure¸san, Generalized Bosbach states: Part II, Archive for
Mathematical Logic, 52 (2013), 707–732.
[21] A. Di Nola, A. Dvureˇcenskij, State-morphism MV-algebras, Annals of Pure and Applied Logic,
161 (2009), 161–173.
[22] A. Di Nola, A. Dvureˇcenskij, A. Lettieri, Erratum to “State-morphism MV-algebras”, [Annals
of Pure and Applied Logic, 161 (2009), 161–173], Annals of Pure and Applied Logic, 161
(2010), 1605–1607.
[23] A. Dvureˇcenckij, J. Rach˚unek, Probabilistic averaging in bounded commutative Rℓ–monoids,
Discrete Mathematics, 306 (2006), 1317–1326.
[24] A. Dvureˇcenckij, J. Rach˚unek, On Rieˇcan and Bosbach states for bounded non-commutative
Rℓ-monoids, Mathematica Slovaca, 56 (2006), 487–500.
[25] A. Dvureˇcenskij, J. Rach˚unek, D. Salounov´a, ˇ State operators on generalizations of fuzzy structures, Fuzzy Sets and Systems, 187 (2012), 58–76.
[26] A. Dvureˇcenskij, O. Zahiri, States on EMV-algebras, arXiv: 1708.06091v1 [math.LO] 21 Aug,
2017.
[27] T. Flaminio, F. Montagna, MV-algebras with internal states and probabilistic fuzzy logics,
International Journal of Approximate Reasoning, 50 (2009), 138–152.
[28] G. Georgescu, Bosbach states on fuzzy structures, Soft Computing, 8 (2004), 217–230.
[29] G. Georgescu, C. Mure¸san, Generalized Bosbach states, arXiv: 1007.2575v1 [math.LO] 15 Jul,
2010.
[30] S.M. Ghasemi Nejad, R.A. Borzooei, M. Bakhshi, States on implication basic algebras, Iranian
Journal of Fuzzy Systems, 17(6) (2020), 139–156.
[31] X. Hua, State L-algebras and derivations of L-algebras, Soft Computing, 25 (2021), 4201–4212.
[32] F. K˜opka, F. Chovanec, D-posets, Mathematica Slovaca, 44 (1994), 21–34.
[33] S.M. Lee, K.H. Kim, States on subtraction algebras, International Mathematical Forum, 8(24)
(2013), 1155–1162.
[34] J. Mertanen, E. Turunen, States on semi-divisible generalized residuated Lattices reduce to
states on MV–algebras, Fuzzy Sets and Systems, 159(22) (2008), 3051–3064.
[35] S. Niazian, On hyper BI-algebras, Journal of Algebraic Hyper Structures and Logical Algebras,
2(1) (2021), 47–67.
[36] G. Qing, X.X. Long, State operators on pseudo EQ-algebras, Journal of Intelligent and Fuzzy
Systems Preprint, 2022, 1–14. DOI: 10.3233/JIFS-212723.
[37] J. Rach˚unek, D. Salounova, ˜ State operators on GMV-algebras, Soft Computing, 15 (2011),
327–334.
[38] A. Rezaei, L.C. Ciungu, A. Borumand Saeid, States on pseudo BE-algebras, Journal of
Multiple-Valued Logic and Soft Computing, 28 (2017), 591–618.
39] E. Turunen, J. Mertanen, States on semi-divisible residuated lattices, Soft Computing, 12(4)
(2008), 353–357.
[40] X. Xin, X. Cheng, X. Zhang, Generalized state operators on BCI-algebras, Journal of Intelligent and Fuzzy Systems, 32(3) (2017), 2591–2602.
[41] X.L. Xin, B. Davvaz, States and measures on hyper BCK-algebras, Journal of Intelligent and
Fuzzy Systems, 29 (2015), 1869–1880.
[42] X.L. Xin, Y.C. Ma, Y.L. Fu, The existence of states on EQ-algebras, Mathematica Slovaca,
70(3) (2020), 527–546.