Commutative BCK-algebras and quantum structures

DOI10.1023/A:1003689821470MaRDI QIDQ1586458zbMATH OpenOpenAlexFDO

Authors Anatolij Dvurečenskij

Publication date 13 September 2001

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1003689821470

zbMATH Keywords

\(l\)-groupBCK-algebraD-posetMV-algebraquantum logicrelative cancellation property

Mathematics Subject Classification ID

Quantum logic (03G12) MV-algebras (06D35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) BCK-algebras, BCI-algebras (06F35) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Review text

Many algebraic systems in which a subtraction-like operation is either a primitive or a derived notion -- such as BCK-algebras, Boolean rings, D-posets, effect algebras, \(l\)-groups, MV-algebras, orthoalgebras have been used to describe the structure of the system of propositions in various classical and nonclassical logics. Connections between such systems are being studied intensively. The paper under review fits in with this line of investigations and may be considered as a continuation of the joint paper by the author and \textit{H. S.~Kim} [Stud. Log. 60, 421-439 (1998; Zbl 0960.03051)]. It includes a short overview of known results concerning interrelations between commutative BCK-algebras, posets with difference and MV-algebras. However, the main subject studied this time by the author is commutative BCK-algebras with the relative cancellation property. Every such algebra is shown to be embeddable into the positive cone of an abelian \(l\)-group. Moreover, there is a faithful and full functor from the category of abelian \(l\)-groups into that of the BCK-algebras of the aforementioned type. (Recall that \(l\)-groups have been used for representing MV-algebras.) Also measures on such BCK-algebras are studied.

Recommendations

• scientific article; zbMATH DE number 1309088
• Connections between BCK-algebras and difference posets
• scientific article; zbMATH DE number 1077017
• Dedekind complete commutative BCK-algebras
• scientific article; zbMATH DE number 1335296
• scientific article; zbMATH DE number 1383300
• scientific article; zbMATH DE number 2021416
• scientific article; zbMATH DE number 1166192
• COMMUTATIVE BCK-ALGEBRAS WITH PRODUCT
• On categorical equivalences of commutative BCK-algebras

Cited in

(13)

• Connections between BCK-algebras and difference posets
• Dedekind complete commutative BCK-algebras
• Commutative pseudo-equality algebras
• On categorical equivalences of commutative BCK-algebras
• On \(Q\)-upper algebras
• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• Commutative Energetic Subsets of BCK-Algebras
• Algebraic structures derived from BCK-algebras
• scientific article; zbMATH DE number 1335296 (Why is no real title available?)
• scientific article; zbMATH DE number 2021416 (Why is no real title available?)
• scientific article; zbMATH DE number 1383300 (Why is no real title available?)
• scientific article; zbMATH DE number 2216073 (Why is no real title available?)
• Quantum b-functions of prehomogeneous vector spaces of commutative parabolic type

This page was built for publication: Commutative BCK-algebras and quantum structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1586458)