On complete pseudo-BL-algebras. A Cantor-Bernstein type theorem

Abstract

ABSTRACT. Pseudo-BL-algebras are a noncommutative extention of BL-algebras. In this paper we consider polars in pseudo-BL-algebras and the class of complete pseudo-BL-algebras. In the final section, a version of the CantorBernstein theorem will be proved.