Quantum B-algebras: their omnipresence in algebraic logic and beyond (Q1701730): Difference between revisions

The paper gives a survey of quantum B-algebras that are generalizations of (pseudo) BCK-algebras, residuated posets, (pseudo) effect algebras, partially ordered groups. It is proved that the Cornish's identity holds in CKL-algebras (known also as HBCK-algebras). As a consequence, a new proof of the fact that CKL-algebras form a variety is obtained.