BL-algebras and quantum structures
Thomas Vetterlein · Czech digital mathematics library · 2004
Abstract. Endowing a lower-bounded partially ordered set with a total addition or with a total difference operation leads to the basic notion of a NAM, that is, a naturally ordered abelian monoid, or a BCK-algebra, respectively. BL-algebras may be alteratively viewed as certain NAMs or certain BCK-algebras. We characterize the appropriate subclasses by making use of those properties which have been so far considered in an apparently rather different context, namely for certain quantum structures. The three most important subclasses of BL-algebras, MV-, product, and Gödel algebras, are also taken into account. 1.