On the center of a left Jordan groupoid
On the concreteness of quantum logics
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....
On the De Morgan formulae and the antitony of complements in lattices
On the Extension of Measures in Relatively Complemented Lattices
On the lattice of subalgebras of a Boolean algebra
On the Lebesgue decomposition of a function relative to a -ideal of an orthomodular lattice
On the Lebesgue decomposition of Gleason measures
On the Lebesgue decomposition of the normal states of a JBW-algebra
In this article, a theorem is proved asserting that any linear functional defined on a JBW-algebra admits a Lebesque decomposition with respect to any normal state defined on the algebra. Then we show that the positivity (and the unicity) of this decomposition is insured for the trace states defined on the algebra. In fact, this property can be used to give a new characterization of the trace states amoungst all the normal states.
On the permanence properties of interval homogeneous orthomodular lattices
On the products of quantum logics
On the set representation of an orthomodular poset
Let P be an orthomodular poset and let B be a Boolean subalgebra of P. A mapping s:P → ⟨0,1⟩ is said to be a centrally additive B-state if it is order preserving, satisfies s(a') = 1 - s(a), is additive on couples that contain a central element, and restricts to a state on B. It is shown that, for any Boolean subalgebra B of P, P has an abundance of two-valued centrally additive B-states. This answers positively a question raised in [13, Open question, p. 13]. As a consequence one obtains a somewhat...
On the structure of numerical event spaces
The probability of the occurrence of an event pertaining to a physical system which is observed in different states determines a function from the set of states of the system to . The function is called a numerical event or multidimensional probability. When appropriately structured, sets of numerical events form so-called algebras of -probabilities. Their main feature is that they are orthomodular partially ordered sets of functions with an inherent full set of states. A classical...
On the tensor product of a Boolean algebra and an orthoalgebra
Opérations dérivées des treillis orthomodulaire (Part 1)
Opérations dérivées des treillis orthomodulaires (Part 2)
Opérations dérivées des treillis orthomodulaires (Part 3)
Order properties of splitting subspaces in an inner product space
Ordering of observables and characterization of conditional expectation
Orthocomplemented difference lattices with few generators
The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics, notably with the field of artificial intelligence (see, e. g., [19, 20]). Recently an effort has been exercised to advance with logics that possess a symmetric difference ([13, 14]) - with so called orthocomplemented difference lattices (ODLs). This paper further contributes to this effort. In [13] the author constructs an ODL that is not set-representable. This example is quite elaborate. A main result...
Orthodox semigroups with complemented congruence lattices.