Quantum B-algebras: their omnipresence in algebraic logic and beyond (Q1701730)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantum B-algebras: their omnipresence in algebraic logic and beyond |
scientific article |
Statements
Quantum B-algebras: their omnipresence in algebraic logic and beyond (English)
0 references
27 February 2018
0 references
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.
0 references
quantum B-algebra
0 references
CKL-algebra
0 references
residuated poset
0 references
partially ordered group
0 references
0 references
0 references
0 references
