pseudo $BL$-algebra; $DR\ell $-monoid; filter; polar; representable pseudo $BL$-algebra
It is shown that pseudo $BL$-algebras are categorically equivalent to certain bounded $DR\ell $-monoids. Using this result, we obtain some properties of pseudo $BL$-algebras, in particular, we can characterize congruence kernels by means of normal filters. Further, we deal with representable pseudo $BL$-algebras and, in conclusion, we prove that they form a variety.
 A. Di Nola, G. Georgescu, A. Iorgulescu: Pseudo $BL$-algebras: Part I. Preprint.
 G. Georgescu, A. Iorgulescu: Pseudo $MV$-algebras
. Mult. Val. Logic 6 (2001), 95–135. MR 1817439
 G. Grätzer: General Lattice Theory
. Birkhäuser, Berlin, 1998. MR 1670580
 P. Hájek: Metamathematics of Fuzzy Logic
. Kluwer, Amsterdam, 1998. MR 1900263
 T. Kovář: A general theory of dually residuated lattice ordered monoids. Ph.D. thesis, Palacký Univ., Olomouc, 1996.
 J. Kühr: Ideals of noncommutative $DR\ell $-monoids. Manuscript.
 J. Rachůnek: A duality between algebras of basic logic and bounded representable $DR\ell $-monoids
. Math. Bohem. 126 (2001), 561–569. MR 1970259