Partial Abelian semigroups

In the orthodox quantum logic approach to foundations of quantum mechanics originated by Birkhoff and von Neumann [1] the object called quantum logic is not a logic in the very sense of this word but an algebraic structure: orthomodular lattice or poset. These orthomodular structures, abstracted from structures of Hilbert spaces used to describe quantum phenomena are weakenings of Boolean algebras. They can be thought of as representing Lindenbaum algebras of systems of propositions about quantum objects, the propositions belonging to the quantum logic proper. Since Lindenbaum algebras of propositional systems which obey the rules of classical logic are Boolean algebras it is inferred that the quantum logic proper, whatever it means, is non-classical.

Fuzzy set representations of some quantum structures

We consider the amalgamation of bounded involution posets over a strictly directed graph as applied to orthomodular lattices, orthomodular posets or orthoalgebras. In the finite setting, we show that the order dimension of the amalgamation does not exceed that of the amalgamated structures by more than one. We also present conditions under which equality obtains.

Spectral automorphisms have been introduced in [IVANOV, A.—CARAGHEORGHEOPOL, D.: Spectral automorphisms in quantum logics, Internat. J. Theoret. Phys. 49 (2010), 3146–3152]_in an attempt to construct, in the abstract framework of orthomodular lattices, an analogue of the spectral theory in Hilbert spaces. We generalize spectral automorphisms to the framework of effect algebras with compression bases and study their properties. Characterizations of spectral automorphisms as well as necessary conditions for an automorphism to be spectral are given. An example of a spectral automorphism on the standard effect algebra of a finite-dimensional Hilbert space is discussed and the consequences of spectrality of an automorphism for the unitary Hilbert space operator that generates it are shown. The last section is devoted to spectral families of automorphisms and their properties, culminating with the formulation and proof of a Stone type theorem (in the sense of Stone’s theorem on strongly continuous one-parameter unitary groups — see, e.g. [REED, M.#x2014;SIMON, B.: Methods of Modern Mathematical Physics, Vol. I, Acad. Press, New York, 1975]) for a group of spectral automorphisms.

We generalize David Foulis’s concept of a compression base on a unital group to effect algebras. We first show that the compressions of a compressible effect algebra form a compression basis and that a sequential effect algebra possesses a natural maximal compression basis. It is then shown that many of the results concerning compressible effect algebras hold for arbitrary effect algebras by focusing on a specific compression base. For example, the foci (or projections) of a compression base form an orthomodular poset. Moreover, one can give a natural definition for the commutant of a projection in a compression base and results concerning order and compatibility of projections can be generalized. Finally it is shown that if a compression base has the projection-cover property, then the projections of the base form an orthomodular lattice.