When does a generalized Boolean quasiring become a Boolean ring?

DOI10.1007/S00500-017-2983-YMaRDI QIDQ1626224zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ivan Chajda, Helmut Länger

Publication date 27 November 2018

Published in Soft Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00500-017-2983-y

zbMATH Keywords

axiomatic quantum mechanicsBoolean ring with unitgeneralized Boolean quasiringlattice with an antitone involution

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Ring-theoretic properties of Boolean algebras (06E20) Generalizations (16Y99) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Review text

Generalized Boolean quasirings (GBQRs) are ringlike structures \(\langle G; \cdot, +, 0, 1\rangle\), which were introduced to develop axiomatic quantum mechanics. A GBQR is called uniquely representable if it satisfies the identity \((1 + (1 + x)(1 + y))(1 + x y) \approx x + y\). The usual correspondence between Boolean rings and Boolean algebras lifts to a correspondence between uniquely representable GBQRs and bounded lattices with antitone involution. The former may be viewed as the distributive version of the latter. In fact, it is known that \(x(1+y)\approx x+xy\) is enough distributivity to guarantee that a uniquely representable GBQR is a Boolean ring. In this paper, the authors prove that a uniquely representable GBQR satisfying a still weaker fragment of distributivity, \(x(1+xy)\approx x+xy\), is a Boolean ring.

Recommendations

• scientific article; zbMATH DE number 1176120
• scientific article; zbMATH DE number 4142243
• scientific article; zbMATH DE number 3948543
• scientific article; zbMATH DE number 4101392
• When is the set of intermediate rings a finite Boolean algebra
• scientific article; zbMATH DE number 3964094
• scientific article; zbMATH DE number 515206
• Generalized Boolean and Boolean-like rings
• WHEN IS A BCC-ALGEBRA EQUIVALENT TO AN MV-ALGEBRA?
• Further generalizations of Boolean rings.

Cites work

• A Mackey-like approach to ring-like structures used in quantum logics
• Concepts of measures on ring-like quantum logics
• scientific article; zbMATH DE number 1185410 (Why is no real title available?)
• scientific article; zbMATH DE number 2063920 (Why is no real title available?)
• scientific article; zbMATH DE number 2172842 (Why is no real title available?)
• scientific article; zbMATH DE number 1453802 (Why is no real title available?)
• scientific article; zbMATH DE number 1453804 (Why is no real title available?)
• Lattice properties of ring-like quantum logics
• Lattice Theory: Foundation
• On ring-like structures induced by Mackey's probability function.
• Pseudosemirings induced by ortholattices
• Ring-like structures with unique symmetric difference related to quantum logic
• The Logic Induced by a System of Homomorphisms and Its Various Algebraic Characterizations
• WHEN IS A BCC-ALGEBRA EQUIVALENT TO AN MV-ALGEBRA?

Cited in

(1)

• Lattice properties of ring-like quantum logics

This page was built for publication: When does a generalized Boolean quasiring become a Boolean ring?

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