zbMATH — the first resource for mathematics

Representable pseudo-BCK-algebras and integral residuated lattices. (English) Zbl 1140.06008
A (non-commutative) residuated lattice is an algebra \(\langle L, \wedge, \vee, \cdot, \backslash, /, 1 \rangle\) in which \(\langle L, \vee, \wedge \rangle\) is a lattice, \(\langle L, \cdot, 1 \rangle\) is a monoid and \(a \cdot b \leq c\) iff \(b \leq a \backslash c\) iff \(a \leq c / b\). A residuated lattice is called integral if \(1\) is the greatest element. Subalgebras of \(\{ \backslash, /, 1 \}\)-reducts of integral residuated lattices are called pseudo-BCK-algebras in this paper although they are also known as biresiduation algebras; they form a quasivariety of algebras.
The representable integral residuated lattices are those that are subdirect products of linearly ordered integral residuated lattices. The class of all integral residuated lattices forms a variety with the class of representable algebras as a proper subvariety. Axiomatizations of the variety of representable integral residuated lattices were obtained independently in [C. J. van Alten, J. Algebra 247, No. 2, 672–691 (2002; Zbl 1001.06012)] and [K. Blount and C. Tsinakis, Int. J. Algebra Comput. 13, No. 4, 437–461 (2003; Zbl 1048.06010)]. (The second paper also axiomatized the representable residuated lattices.) The axiomatization given in the first paper utilizes only the operations in \(\{ \vee, \backslash, /, 1 \}\) and thus also provides an axiomatization for the class of all representable algebras within the class of subalgebras of \(\{ \vee, \backslash, /, 1 \}\)-reducts of integral residuated lattices.
An open problem that remained was to find an axiomatization that uses only the operations in \(\{ \backslash, /, 1 \}\) and thereby also axiomatize the representable pseudo-BCK-algebras. In this paper, the author solves this very problem and shows that the identity conjectured in the first reference above does indeed axiomatize the quasivariety. The method of proof is by characterization of the relatively subdirectly irreducible members of the quasivariety of representable pseudo-BCK-algebras. This approach is different to that employed in the above-mentioned references and leads to an elegant solution of the problem. This method also serves as an alternative means of axiomatizing the variety of representable integral residuated lattices.

06F35 BCK-algebras, BCI-algebras (aspects of ordered structures)
06F05 Ordered semigroups and monoids
Full Text: DOI
[1] van Alten, C.J., Representable biresiduated lattices, J. algebra, 247, 672-691, (2002) · Zbl 1001.06012
[2] Blount, K.; Tsinakis, C., The structure of residuated lattices, Internat. J. algebra comput., 13, 437-461, (2003) · Zbl 1048.06010
[3] G. Georgescu, A. Iorgulescu, Pseudo-BCK algebras: An extension of BCK algebras, in: Proc. DMTCS ’01: Combinatorics, Computability and Logic, London, 2001, pp. 97-114 · Zbl 0986.06018
[4] R. Halaš, J. Kühr, Deductive systems and annihilators of pseudo BCK-algebras, Ital. J. Pure Appl. Math., in press
[5] Iorgulescu, A., On pseudo-BCK algebras and porims, Sci. math. jpn., 10, 293-305, (2004) · Zbl 1066.06018
[6] Jipsen, P.; Tsinakis, C., A survey of residuated lattices, (), 19-56 · Zbl 1070.06005
[7] Kühr, J., Pseudo BCK-algebras and residuated lattices, Contr. gen. alg., 16, 139-144, (2005) · Zbl 1076.06013
[8] Kühr, J., Pseudo BCK-semilattices, Demonstratio math., XL, 495-516, (2007) · Zbl 1138.06009
[9] Pałasinski, M., Some remarks on BCK-algebras, Math. seminar notes Kobe univ., 8, 137-144, (1980) · Zbl 0435.03048
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.