Atomic sequential effect algebras (Q2426170): Difference between revisions
From MaRDI portal
Latest revision as of 21:53, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Atomic sequential effect algebras |
scientific article |
Statements
Atomic sequential effect algebras (English)
0 references
21 April 2008
0 references
An effect algebra is a partial algebra \((E;+0,1)\) such that the partial addition \(+\) is commutative, associative, any element admits a unique complement, and if \(a+1\) is defined, then \(a=0.\) Such algebras cover 0-1 reasoning as well as a fuzzy one. A sequential product on effect algebras was defined by \textit{S. Gudder} and \textit{R. Greechie} [Rep. Math. Phys 49, No. 1, 87--111 (2002; Zbl 1023.81001)]. It is inspiring that products of positive Hermitian operators form again such an algebra. The paper under review studies other interesting properties connected with sequential products. It deals with atomic effect algebras, weak distributivity, sharp elements, center of an effect algebra showing that it is always a Boolean algebra as well as, under some conditions, the set of sharp elements. The paper deals with the syntax of the language, first-order structures, and generalized Boolean algebras.
0 references
effect algebra
0 references
Boolean algebra
0 references
sequential product
0 references
atomicity
0 references
sharp element
0 references