Quantum B-algebras: their omnipresence in algebraic logic and beyond (Q1701730)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Quantum B-algebras: their omnipresence in algebraic logic and beyond |
scientific article; zbMATH DE number 6844008
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantum B-algebras: their omnipresence in algebraic logic and beyond |
scientific article; zbMATH DE number 6844008 |
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
