Morphisms and pasting of orthoalgebras
Nonatomic states
Observables on -MV algebras and -lattice effect algebras
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...
On a certain mapping on the set with orthogonality
On a characterization of probability measures on Boolean algebras and some orthomodular lattices
On a paper by Iqbalunnisa
On a problem of Kertesz and Stern
On central atoms of Archimedean atomic lattice effect algebras
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...
On Certain Generalized Probability Domains
On direct decompositions of certain orthomodular lattices.
On existence conditions for compatible tolerances
On extensions of measures
On free pseudo-complemented and relatively pseudo-complemented semi-lattices
On generating and concreteness in quantum logics
On interval homogeneous orthomodular lattices
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...
On isomorphisms of inner product spaces
On Kalmbach measurability
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 .
On quantic conuclei in orthomodular lattices.
On some properties of transformations of a logic
On systems of congruences on principal filters of orthomodular implication algebras
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.