[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.