Representable good EQ-algebras. (English) Zbl 1201.03061

El-Zekey, Moataz

Soft Comput. 14, No. 9, 1011-1023 (2010).

Summary: 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 V. Novák [“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 Univ., 219–223 (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 lattices. One of the outcomes is the possibility to relax the commutativity of the multiplication. This has been elaborated by the author, V. Novák and R. Mesiar [“Semicopula-based EQ-algebras”, Fuzzy Sets Syst. (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 the 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 is performed similarly to C. J. van Alten’s [J. Algebra 247, No. 2, 672–691 (2002; Zbl 1001.06012)] characterization of representable integral residuated lattices. We also supply a number of potentially useful results, leading to this characterization.

MSC:

03G25	Other algebras related to logic
03B52	Fuzzy logic; logic of vagueness
06F35	BCK-algebras, BCI-algebras

Keywords:

EQ-algebra; commutative residuated lattice; fuzzy equality; fuzzy logic; BCK-algebra; prelinearity; representable algebras

Citations:

Zbl 1001.06012

References:

[1]	Abdel-Hamid A, Morsi N (2007) Representation of prelinear residuated algebras. Int J Comput Cogn 5(4):13–20
[2]	Blount K, Tsinakis C (2003) The structure of residuated lattices. Int J Algebra Comput 13:437–461 · Zbl 1048.06010
[3]	Blyth T (2005) Lattices and ordered algebraic structures. Springer, London · Zbl 1073.06001
[4]	Bodenhofer U (2000) A similarity-based generalization of fuzzy orderings preserving the classical axioms. Int J Uncertain Fuzziness Knowl Based Syst 8:593–610 · Zbl 1113.03333
[5]	Burris S, Sankappanavar H (1981) A course in universal algebra. Graduate texts in mathematics, vol 78. Springer, Berlin · Zbl 0478.08001
[6]	Castañeda H (1976) Leibniz’s syllogistico-propositional calculus. Notre Dame J Formal Log XVII(4):338–384 · Zbl 0314.02004
[7]	El-Zekey M, Novák V, Mesiar R (2009) Semicopula-based EQ-algebras. Fuzzy Sets Syst (submitted)
[8]	Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271–288 · Zbl 0994.03017
[9]	Esteva F, Godo L, Hájek P, Montagna F (2003) Hoops and fuzzy logic. J Log Comput 13:531–555 · Zbl 1039.03016
[10]	Fleischer I (1987) Subdirect products of totally ordered BCK-algebras. J Algebra 111:384–387 · Zbl 0632.06017
[11]	Fleischer I (1988) Every BCK-algebras is a set of residuables in an integral pomonoid. J Algebra 119:360–365 · Zbl 0658.06012
[12]	Gispert J, Torrens A (2007) Bounded BCK-algebras and their generated variety. Math Log Q 53:206–213 · Zbl 1123.06010
[13]	Gracía Olmedo F, Rodríguez Salas A (2000) Linearization of the BCK-logic. Stud Log 65:31–51 · Zbl 0968.03029
[14]	Gratzer G (1979) Universal algebras. Springer, Berlin
[15]	Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht · Zbl 0937.03030
[16]	Hájek P (2003) Fuzzy logics with noncommutative conjuctions. J Log Comput 13:469–479 · Zbl 1036.03018
[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–106
[18]	Iseki K (1978) An introduction of the theory of BCK-algebras. Math Jpn 23:1–26 · Zbl 0385.03051
[19]	Noguera, Esteva F, Gispert J (2005) On some varieties of MTL-algebras. Log J IGPL 13:443–466 · Zbl 1078.03051
[20]	Novák V (2005) On fuzzy type theory. Fuzzy Sets Syst 149:235–273 · Zbl 1068.03019
[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–223
[22]	Novák V, de Baets B (2009) EQ-algebras. Fuzzy Sets Syst (to appear) · Zbl 1184.03067
[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, Portugal
[24]	Ono H, Komori Y (1985) Logics without the contradiction rule. J Symb Log 50:169–201 · Zbl 0583.03018
[25]	Pałasinski M (1980) Some remarks on BCK-algebras. Math Semin Notes Kobe Univ 8:137–144
[26]	Pałasinski M (1981) On ideal and congruence lattices of BCK-algebras. Math Jpn 26:543–544 · Zbl 0476.03064
[27]	Pałasinski M (1982) An embedding theorem for BCK-algebras. Math Semin Notes Kobe Univ 10:749–751
[28]	Raftery JG (1987) On prime ideals and subdirect decompositions of BCK-algebras. Math Jpn 32:811–818 · Zbl 0636.03061
[29]	van Alten C (2002) Representable biresiduated lattices. J Algebra 247:672–691 · Zbl 1001.06012