Integral and obstinate prefilters of hyper EQ-algebras

Document Type : Original Article

Author

Department of Mathematics, University of Bojnord, Bojnord, Iran

Abstract

The main goal of this paper is to introduce integral hyper EQ-algebras, integral (pre)filters and obstinate (pre)filters of hyper EQ-algebras. In the following, some characterizations of these (pre)filters in hyper EQ-algebras are investigated and it is proved that the quotient hyper EQ-algebras induced by a filter F is an integral hyper EQ-algebra if and only if F is an integral filter. Moreover, the concept obstinate (pre)filter in hyper EQ-algebras is introduced and some related properties are provided. Finally, the relationship among obstinate (pre)filters and some type of other (pre)filters such integral, maximal, (positive) implicative and fantastic (pre)filters in hyper EQ-algebras are studied.

Keywords


[1] P. Andrews, An introduction to mathematical logic and type theory: To truth through proof, Kluwer, Dordrecht, 2002. DOI:10.1007/978-94-015-9934-4.
[2] R.A. Borzooei, M. Bakhshi, O. Zahiri, Filter theory on hyper residuated lattices, Quasigroups and Related Systems, 22 (2014), 33–50.

[3] R.A. Borzooei, B. Gangi Saffar, R. Ameri, On hyper EQ-algebras, Italian Journal of Pure and Applied Mathematics, 31 (2013), 77–96.

[4] R.A. Borzooei, A. Hasankhani, M.M. Zahedi, Y.B. Jun, On hyper K-algebras, Mathematica Japonica, 52 (2000), 113–121.

[5] X.Y. Cheng, X.L. Xin, Filter theory on hyper BE-algebras, Italian Journal of Pure and Applied Mathematics, 35 (2015), 509–526.

[6] M. El-Zekey, Representable good EQ-algebras, Soft Computing, 14(9) (2010), 1011–1023. DOI:10.1007/s00500-009-0491-4.
[7] B. Ganji Saffar, R.A. Borzooei, Filter theory on good hyper EQ-algebras, Annals of the University of Craiova, Mathematics and Computer Science Series, 43(2) (2016), 243–258.

[8] S. Ghorbani, A. Hasankhani, E. Eslami, Hyper MV-algebras, Set-Valued Math. Appl., 1 (2008), 205–222.

[9] Y.B. Jun, M.M. Zahedi, X.L. Xin, R.A. Borzooei, On hyper BCK-algebras, Italian Journal of Pure and Applied Mathematics, 8 (2000), 127–136.
[10] F. Marty, Surune generalization de la notion de groupe, The 8th Congress Math. Scandinaves, Stockholm, (1934), 45–49.

[11] V. Novák, On fuzzy type theory, Fuzzy Sets and Systems, 149 (2005), 235–273. DOI:10.1016/j.fss.2004.03.027.

[12] V. Novák, B. De Baets, EQ-algebras, Fuzzy Sets and Systems, 160 (2009), 2956–2978. DOI:10.1016/j.fss.2009.04.010.

[13] A. Paad, Integral prefilters and integral EQ-algebras, Mathematica Slovaca, 72(2) (2022), 287–300. DOI: 10.1155/2014/829527.