The effects in a quantum-mechanical system form a partial algebra and a partially ordered set which is the prototypical example of the effect algebras discussed in this paper. The relationships among effect algebras and such structures as orthoalgebras and orthomodular posets are investigated, as are morphisms and group- valued measures (or charges) on effect algebras. It is proved that there is a universal group for every effect algebra, as well as a universal vector space over an arbitrary field.

Some algebraic structures of the set of all effects are investigated and summarized in the notion of a(weak) orthoalgebra. It is shown that these structures can be embedded in a natural way in lattices, via the so-calledMacNeille completion. These structures serve as a model ofparaconsistent quantum logic, orthologic, andorthomodular quantum logic.

An effect algebra is a partial algebraic structure, originally formulated as an algebraic base for unsharp quantum measurements. In this article we present an approach to the study of lattice effect algebras (LEAs) that emphasizes their structure as algebraic models for the semantics of (possibly) non-standard symbolic logics. This is accomplished by focusing on the interplay among conjunction, implication, and negation connectives on LEAs, where the conjunction and implication connectives are related by a residuation law. Special cases of LEAs are (...) MV-algebras and orthomodular lattices. The main result of the paper is a characterization of LEAs in terms of so-called Sasaki algebras. Also, we compare and contrast LEAs, Hájek's BL-algebras, and the basic algebras of Chajda, Halaš, and Kühr. (shrink)

Orthomodular lattices with a two-valued Jauch–Piron state split into a generalized orthomodular lattice and its dual. GOMLs are characterized as a class of L-algebras, a quantum structure which arises in the theory of Garside groups, algebraic logic, and in connections with solutions of the quantum Yang–Baxter equation. It is proved that every GOML X embeds into a group G with a lattice structure such that the right multiplications in G are lattice automorphisms. Up to isomorphism, X is uniquely determined by (...) G, and the embedding \\) is a universal group-valued measure on X. (shrink)