New approach to characterization of orthomodular lattices by means of special types of bivariable functions is suggested. Under special marginal conditions a bivariable function can operate as, for example, infimum measure, supremum measure or symmetric difference measure for two elements of an orthomodular lattice.
In this paper, the authors introduce the notion of conditional expectation of an observable on a logic with respect to a sublogic, in a state , relative to an element of the logic. This conditional expectation is an analogue of the expectation of an integrable function on a probability space.
In this paper we carry on the investigation of partially additive states on quantum logics (see [2], [5], [7], [8], [11], [12], [15], [18], etc.). We study a variant of weak states — the states which are additive with respect to a given Boolean subalgebra. In the first result we show that there are many quantum logics which do not possess any 2-additive central states (any logic possesses an abundance of 1-additive central state — see [12]). In the second result we construct a finite 3-homogeneous...
Ring-like quantum structures generalizing Boolean rings and having the property that the terms corresponding to the two normal forms of the symmetric difference in Boolean algebras coincide are investigated. Subclasses of these structures are algebraically characterized and related to quantum logic. In particular, a physical interpretation of the proposed model following Mackey's approach to axiomatic quantum mechanics is given.
This paper presents some manner of characterization of Boolean rings. These algebraic systems one can also characterize by means of some distributivities satisfied in GBbi-QRs.
The investigation of orthocomplemented lattices with a symmetric difference initiated the following question: Which orthomodular lattice can be embedded in an orthomodular lattice that allows for a symmetric difference? In this paper we present a necessary condition for such an embedding to exist. The condition is expressed in terms of -valued states and enables one, as a consequence, to clarify the situation in the important case of the lattice of projections in a Hilbert space.