Representable good EQ-algebras

Abstract

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 Novak (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.