The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Effect algebras were introduced as abstract models of the set of quantum effects which represent sharp and unsharp properties of physical systems and play a basic role in the foundations of quantum mechanics. In the present paper, observables on lattice ordered -effect algebras and their “smearings” with respect to (weak) Markov kernels are studied. It is shown that the range of any observable is contained in a block, which is a -MV algebra, and every observable is defined by a smearing of a sharp...
If element of a lattice effect algebra is central, then the interval is a lattice effect algebra with the new top element and with inherited partial binary operation . It is a known fact that if the set of central elements of is an atomic Boolean algebra and the supremum of all atoms of in equals to the top element of , then is isomorphic to a direct product of irreducible effect algebras ([16]). In [10] Paseka and Riečanová published as open problem whether is a bifull sublattice...
An orthomodular lattice is said to be interval homogeneous (resp. centrally interval homogeneous) if it is -complete and satisfies the following property: Whenever is isomorphic to an interval, , in then is isomorphic to each interval with and (resp. the same condition as above only under the assumption that all elements , , , are central in ). Let us denote by Inthom (resp. Inthom) the class of all interval homogeneous orthomodular lattices (resp. centrally interval homogeneous...
In this note we show that, for an arbitrary orthomodular lattice , when is a faithful, finite-valued outer measure on , then the Kalmbach measurable elements of form a Boolean subalgebra of the centre of .
Orthomodular implication algebras (with or without compatibility condition) are a natural generalization of Abbott’s implication algebras, an implication reduct of the classical propositional logic. In the paper deductive systems (= congruence kernels) of such algebras are described by means of their restrictions to principal filters having the structure of orthomodular lattices.
It is shown that for any quantum logic one can find a concrete logic and a surjective homomorphism from onto such that maps the centre of onto the centre of . Moreover, one can ensure that each finite set of compatible elements in is the image of a compatible subset of . This result is “best possible” - let a logic be the homomorphic image of a concrete logic under a homomorphism such that, if is a finite subset of the pre-image of a compatible subset of , then is compatible....
Currently displaying 1 –
20 of
50