Related papers: Effect algebras with the maximality property
Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serves as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of…
Effect algebras were introduced in order to describe the structure of effects, i.e. events in quantum mechanics. They are partial algebras describing the logic behind the corresponding events. It is natural to ask how to introduce the…
An elegant description of the general form of order automorphisms of effect algebras has been known in the complex case. We present a much simpler proof based on the projective geometry which works also in the real case. As an application…
Effect algebras, introduced by Foulis and Bennett in 1994, are partial algebras which generalize some well known classes of algebraic structures (for example orthomodular lattices, MV algebras, orthoalgebras etc.). In the present paper, we…
In this paper we characterize the effect algebras whose sharp and principal elements coincide. We also give examples of two non-isomorphic effect algebras having the same universum, partial order and orthosupplementation.
Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that this is possible when the orthomodular poset in question is of…
As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and where the join of orthogonal elements exists and the…
Let R be a von Neumann algebra acting on a Hilbert space H and let R_sa be the set of selfadjoint elements of R. It is well known that R_sa is a lattice with respect to the usual partial order ≤ if and only if R is abelian. We define…
We prove that Archimedean sharply dominating atomic lattice effect algebras can be characterized by property called basic decomposition of elements. As an application we prove the state smearing theorem for these effect algebras.
State operators on convex effect algebras, in particular effect algebras of unital JC-algebras, JW-algebras and convex sigma-MV algebras are studied and their relations with conditional expectations in algebraic sense as well as in the…
We show that, for every orthogonal lub-complete poset P, we can introduce multiple-valued implications sharing properties with quantum implications presented for orthomodular lattices by Kalmbach. We call them classical implication,…
We define a new class of pseudo effect algebras, called kite pseudo effect algebras, which is connected with partially ordered groups not necessarily with strong unit. In such a case, starting even with an Abelian po-group, we can obtain a…
We show that the propositional system of a many-box model is always a set-representable effect algebra. In particular cases of 2-box and 1-box models it is an orthomodular poset and an orthomodular lattice respectively. We discuss the…
A certain generalization of the mathematical formalism of quantum mechanics beyond operator algebras is considered. The approach is based on the concept of conditional probability and the interpretation of the Lueders - von Neumann quantum…
In this paper we show that several classes of partially ordered structures having paraorthomodular reducts, or whose sections may be regarded as paraorthomodular posets, admit a quite natural notion of implication, that admits a suitable…
Order unit property of a positive element in a $C^{*}$-algebra is defined. It is proved that precisely projections satisfy this order theoretic property. This way, unital hereditary $C^{*}$-subalgebras of a $C^{*}$-algebra are…
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
We discuss the relationships between effect algebras with the Riesz Decomposition Property and partially ordered groups with interpolation. We show that any $\sigma$-orthocomplete atomic effect algebra with the Riesz Decomposition Property…
In this paper we seek geometric and invariant-theoretic characterizations of (Schur-)representation finite algebras. To this end, we introduce two classes of finite-dimensional algebras: those with the dense-orbit property and those with…
In this paper, the following results are proved: (1) $ $ If $E$ is a complete atomic lattice effect algebra, then $E$ is (o)-continuous iff $E$ is order-topological iff $E$ is totally order-disconnected iff $E$ is algebraic. (2) $ $ If $E$…