Pseudo $BL$-algebras and $DR\ell $-monoids
Jan Kühr · Mathematica Bohemica · 2003
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.