Soft Computing

, Volume 14, Issue 9, pp 1011–1023 | Cite as

Representable good EQ-algebras

  • Moataz El-ZekeyEmail author
Original Paper


Recently, a special algebra called EQ-algebra (we call it here commutative EQ-algebra since its multiplication is assumed to be commutative) has been introduced by Novák (Proceedings of the Czech-Japan seminar, ninth meeting, Kitakyushu and Nagasaki, 18–22 August, 2006), which aims at becoming the algebra of truth values for fuzzy type theory. Its implication and multiplication are no more closely tied by the adjunction and so, this algebra generalizes commutative residuated lattice. One of the outcomes is the possibility to relax the commutativity of the multiplication. This has been elaborated by El-Zekey et al. (Fuzzy Sets Syst 2009, submitted). We continue in this paper the study of EQ-algebras (i.e., those with multiplication not necessarily commutative). We introduce prelinear EQ-algebras, in which the join-semilattice structure is not assumed. We show that every prelinear and good EQ-algebra is a lattice EQ-algebra. Moreover, the \(\{\wedge,\vee,\rightarrow,1\}\)-reduct of a prelinear and separated lattice EQ-algebra inherits several lattice-related properties from product of linearly ordered and separated EQ-algebras. We show that prelinearity alone does not characterize the representable class of all good (commutative) EQ-algebras. One of the main results of this paper is to characterize the representable good EQ-algebras. This is mainly based on the fact that \(\{\rightarrow,1\}\)-reducts of good EQ-algebras are BCK-algebras and run on lines of van Alten’s (J Algebra 247:672–691, 2002) characterization of representable integral residuated lattices. We also supply a number of potentially useful results, leading to this characterization.


EQ-algebra Commutative residuated lattice Fuzzy equality Fuzzy logic BCK-algebra Prelinearity Representable algebras 



I would like to thank to Vilem Novák for the repeated reading of the drafts of this paper and helping me to improve it a lot in many aspects. Thanks are also due to the grant obtained from SAIA under the National Scholarship Program (NSP) of the Slovak Republic, and the Department of Mathematics and Descriptive Geometry at Slovak University of Technology at Bratislava, which provided excellent facilities for the duration of this research.


  1. Abdel-Hamid A, Morsi N (2007) Representation of prelinear residuated algebras. Int J Comput Cogn 5(4):13–20Google Scholar
  2. Blount K, Tsinakis C (2003) The structure of residuated lattices. Int J Algebra Comput 13:437–461zbMATHCrossRefMathSciNetGoogle Scholar
  3. Blyth T (2005) Lattices and ordered algebraic structures. Springer, LondonzbMATHGoogle Scholar
  4. Bodenhofer U (2000) A similarity-based generalization of fuzzy orderings preserving the classical axioms. Int J Uncertain Fuzziness Knowl Based Syst 8:593–610zbMATHCrossRefMathSciNetGoogle Scholar
  5. Burris S, Sankappanavar H (1981) A course in universal algebra. Graduate texts in mathematics, vol 78. Springer, BerlinGoogle Scholar
  6. Castañeda H (1976) Leibniz’s syllogistico-propositional calculus. Notre Dame J Formal Log XVII(4):338–384Google Scholar
  7. El-Zekey M, Novák V, Mesiar R (2009) Semicopula-based EQ-algebras. Fuzzy Sets Syst (submitted)Google Scholar
  8. Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271–288zbMATHCrossRefMathSciNetGoogle Scholar
  9. Esteva F, Godo L, Hájek P, Montagna F (2003) Hoops and fuzzy logic. J Log Comput 13:531–555zbMATHCrossRefGoogle Scholar
  10. Fleischer I (1987) Subdirect products of totally ordered BCK-algebras. J Algebra 111:384–387zbMATHCrossRefMathSciNetGoogle Scholar
  11. Fleischer I (1988) Every BCK-algebras is a set of residuables in an integral pomonoid. J Algebra 119:360–365zbMATHCrossRefMathSciNetGoogle Scholar
  12. Gispert J, Torrens A (2007) Bounded BCK-algebras and their generated variety. Math Log Q 53:206–213zbMATHCrossRefMathSciNetGoogle Scholar
  13. Gracía Olmedo F, Rodríguez Salas A (2000) Linearization of the BCK-logic. Stud Log 65:31–51CrossRefGoogle Scholar
  14. Gratzer G (1979) Universal algebras. Springer, BerlinGoogle Scholar
  15. Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, DordrechtzbMATHGoogle Scholar
  16. Hájek P (2003) Fuzzy logics with noncommutative conjuctions. J Log Comput 13:469–479zbMATHCrossRefGoogle Scholar
  17. Höhle U (1995) Commutative residuated l-monoids. In: Höhle U, Klement EP (eds) Non-classical logics and their applications to fuzzy subsets. A handbook of the mathematical foundations of fuzzy set theory. Kluwer, Dordrecht, pp 53–106Google Scholar
  18. Iseki K (1978) An introduction of the theory of BCK-algebras. Math Jpn 23:1–26zbMATHMathSciNetGoogle Scholar
  19. Noguera, Esteva F, Gispert J (2005) On some varieties of MTL-algebras. Log J IGPL 13:443–466zbMATHCrossRefMathSciNetGoogle Scholar
  20. Novák V (2005) On fuzzy type theory. Fuzzy Sets Syst 149:235–273zbMATHCrossRefGoogle Scholar
  21. Novák V (2006) EQ-algebras: primary concepts and properties. In: Proceedings of the Czech-Japan seminar, ninth meeting, Kitakyushu and Nagasaki, 18–22 August 2006, Graduate School of Information, Waseda University, pp 219–223Google Scholar
  22. Novák V, de Baets B (2009) EQ-algebras. Fuzzy Sets Syst (to appear)Google Scholar
  23. Novák V, Dyba M (2009) Non-commutative EQ-logics and their extensions. In: Proceedings of the world congress IFSA-EUSFLAT 2009, University of Málaga, Lisbon, PortugalGoogle Scholar
  24. Ono H, Komori Y (1985) Logics without the contradiction rule. J Symb Log 50:169–201zbMATHCrossRefMathSciNetGoogle Scholar
  25. Pałasinski M (1980) Some remarks on BCK-algebras. Math Semin Notes Kobe Univ 8:137–144zbMATHGoogle Scholar
  26. Pałasinski M (1981) On ideal and congruence lattices of BCK-algebras. Math Jpn 26:543–544zbMATHGoogle Scholar
  27. Pałasinski M (1982) An embedding theorem for BCK-algebras. Math Semin Notes Kobe Univ 10:749–751Google Scholar
  28. Raftery JG (1987) On prime ideals and subdirect decompositions of BCK-algebras. Math Jpn 32:811–818zbMATHMathSciNetGoogle Scholar
  29. van Alten C (2002) Representable biresiduated lattices. J Algebra 247:672–691zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag 2009

Authors and Affiliations

  1. 1.Department of Basic Sciences, High Institute of TechnologyBenha UniversityBenhaEgypt

Personalised recommendations