Quantum B-algebras: their omnipresence in algebraic logic and beyond
type: Item
instance of: scholarly article
title: Quantum B-algebras: their omnipresence in algebraic logic and beyond
zbMATH Open document ID: 1406.03061
author: Wolfgang Rump
published in: Soft Computing
publication date: 2018-02-27T00:00:00Z
review text: 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.
reviewed by: Josef Tkadlec
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 06F35
zbMATH DE Number: 6844008
zbMATH Keywords: quantum B-algebra
zbMATH Keywords: CKL-algebra
zbMATH Keywords: residuated poset
zbMATH Keywords: partially ordered group
describes a project that uses: OTTER
MaRDI profile type: Publication
full work available at URL: s00500-017-2570-2
OpenAlex ID: W2602178304
cites work: Braces, radical rings, and the quatum Yang-Baxter equation.
cites work: Varieties of commutative residuated integral pomonoids and their residuation subreducts
cites work: Residuation groupoids
cites work: Q3178885
cites work: Glivenko like theorems in natural expansions of BCK-logic
cites work: Q3960852
cites work: On the structure of linearly ordered pseudo-BCK-algebras
cites work: Set-theoretical solutions to the quantum Yang-Baxter equation
cites work: On a conjecture by Andrzej Wroński for BCK-algebras and subreducts of hoops
cites work: Q2752146
cites work: Q5310083
cites work: Q4888337
cites work: On the set-theoretical Yang-Baxter equation
cites work: A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation
cites work: Non-commutative logical algebras and algebraic quantales
cites work: \(L\)-algebras, self-similarity, and \(l\)-groups
cites work: SEMIDIRECT PRODUCTS IN ALGEBRAIC LOGIC AND SOLUTIONS OF THE QUANTUM YANG–BAXTER EQUATION
cites work: A general Glivenko theorem
cites work: Quantum B-algebras
cites work: Q3789564
cites work: On varieties of biresiduation algebras
cites work: Q3686712
DOI: 10.1007/S00500-017-2570-2
description: scientific article; zbMATH DE number 6844008