Generalized states on EQ-algebras

Document Type: Original Manuscript

Authors

1 Northwest University

2 Department of Mathematics, COMSATS Institute of Information Technology, Abbottabad, Pakistan

3 Department of Mathematics Education, Gyeongsang National University, Jinju 660-701, Korea

Abstract

In this paper, we introduce a notion of generalized states from an EQ-algebra E1 to another EQ-algebra E2, which is a generalization of internal states (or state operators) on an EQ-algebra E. Also we give a type of special generalized state from an EQ-algebra E1 to E1, called generalized internal states (or GI-state). Then we give some examples and basic properties of generalized (internal) states on EQ-algebras. Moreover we discuss the relations between generalized states on EQ-algebras and internal states on other algebras, respectively. We obtain the following results: (1) Every state-morphism on a good EQ-algebra E is a G-state from E to the EQ-algebra E0 = ([0,1],∧0,⊙0,∼0,1). (2) Every state operator µ satisfying µ(x)⊙µ(y) ∈ µ(E) on a good EQ-algebra E is a GI-state on E. (3) Every state operator τ on a residuated lattice (L,∧,∨,⊙,→,0,1) can be seen a GI-state on the EQ-algebra (L,∧,⊙,∼,1), where x ∼ y := (x → y) ∧ (y → x). (4) Every GI-state σ on a good EQ-algebra (L,∧,⊙,∼,1) is a internal state on equality algebra (L,∧,∼,1). (5) Every GI-state σ on a good EQ-algebra (L,∧,⊙,∼,1) is a left state operator on BCK-algebra (L,∧,→,1), where x → y = x ∼ x∧y. 

Keywords


[1] P. Andrews, An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Kluwer, Dordrecht, 2002.

[2] R. A. Borzooei, A. Dvureˇ censkij, O. Zahiri, State BCK-Algebras and state-morphism BCK-algebras, Fuzzy Sets and Systems, 244 (2014), 86-105.

[3] R. A. Borzooei, B. Ganji Saffar, States on EQ-algebras, Journal of Intelligent and Fuzzy Systems, 29 (2015), 209-221.

[4] L. C. Ciungu, Bosbach and Rie˘ can states on residuated lattices, Journal of Applied Functional Analysis, 2 (2008), 175-188.

[5] L. C. Ciungu, Internal states on equality algebras, Soft Computing, 19 (2015), 939-953.

[6] L. C. Ciungu, A. Dvureˇ censkij, Measures, states and de Finetti maps on pseudo-BCK algebras, Fuzzy Sets and Systems, 161(22) (2010), 2870-2896.

[7] L. C. Ciungu, A. Dvureˇ censkij, M. Hyˇ cko, State BL-algebras, Soft Computing, 15(4) (2011), 619-634.

[8] A. Dvureˇ censkij, States on pseudo MV-algebras, Studia Logica, 68 (2001), 301-327.

[9] A. Dvure˘ censkij, J. Rachunek, D. ˘ Salounov´ a, State operators on generalizations of fuzzy structures, Fuzzy Sets and Systems, 187 (2012), 58-76.

[10] M. El-Zekey, Representable good EQ-algebras, Soft Computing, 14 (2010), 1011-1023.

[11] M. El-Zekey, V. Nov´ ak, R. Mesiar, On good EQ-algebras, Fuzzy Sets and Systems, 178 (2011), 1-23.

[12] F. Esteva, L. Godo, Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems, 124 (2001), 271-288.

[13] T. Flaminio, F. Montagna, An algebraic approach to states on MV-algebras. In: Nov´ ak V. (eds) Fuzzy Logic 2, Proceedings of the 5th EUSFLAT Conference, 2 (2007), 201-206.

[14] T. Flaminio, F. Montagna, MV-algebras with internal states and probabilistic fuzzy logic, International Journal of Approximate Reasoning, 50 (2009), 138-152.

[15] G. Georgescu, Bosbach states on fuzzy structures, Soft Computing, 8 (2004), 217-230.

[16] P. H´ ajek, Metamathematics of Fuzzy Logic, Trends in Logic-Studia Logica Library 4, Kluwer Academic Publishers, Dordrecht, 1998.

[17] P. F. He, X. L. Xin, Y. W. Yang, On state residuated lattices, Soft Computing, 19 (2015), 2083-2094.

[18] A. Iorgulescu, Algebras of Logic as BCK-algebras, Editura ASE, 2008.

[19] S. Jenei, Equality Algebras, Studia Logica, 100 (2012), 1201-1209.

[20] T. Kroupa, Every state on semisimple MV-algebra is integral, Fuzzy Sets and Systems, 157 (2006), 2771-2782.

[21] L. Z. Liu, On the existence of states on MTL-algebras, Information Sciences, 220 (2013), 559-567.

[22] L. Z. Liu, X. Y. Zhang, States on R0-algebras, Soft Computing, 12 (2008), 1099-1104.

[23] L. Z. Liu, X. Y. Zhang, Implicative and positive implicative prefilters of EQ-algebras, Journal of Intelligent and Fuzzy Systems, 26 (2014), 2087-2097.

[24] D. Mundici, Averaging the truth-value in Łukasiewicz logic, Studia Logica, 55(1) (1995), 113-127.

[25] V. Nov´ ak, On fuzzy type theory, Fuzzy Sets and Systems, 149 (2005), 235-273.

[26] V. Nov´ ak, Fuzzy type theory as higher-order fuzzy logic, Proceedings of the 6th International Conference on Intelligent Technologies Bangkok, Thailand, 2005.

[27] V. Nov´ ak, B. De Baets, EQ-algebras, Fuzzy Sets and Systems, 160 (2009), 2956-2978.

[28] D. W. Pei, On equivalent forms of fuzzy logic systems NM and IMTL, Fuzzy Sets and Systems, 138 (2003), 187-195.

[29] B. Rieˇ can, On the probability on BL-algebras, Acta Math Nitra, 4 (2000), 3-13.

[30] E. Turunen, Mathematics Behind Fuzzy Logic, Physica-Verlag, New York, 1999.

[31] M. Ward and P. R. Dilworth, Residuated lattice, Transactions of the American Mathematical Society , 45 (1939), 335-354.

[32] X. L. Xin, B. Davvaz, State operators and state-morphism operators on hyper BCK-algebras, Journal of Intelligent and Fuzzy Systems, 29 (2015), 1869-1880.

[33] X. L. Xin, P. Wang, States and measures on Hyper BCK-Algebras, Journal of Applied Mathematics, 2 (2014), 1-7.

[34] H. J. Zhou, B. Zhao, Generalized Bosbach and Rieˇ can states based on relative negations in residuated lattices, Fuzzy Sets and Systems, 187 (2012), 33-57.