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.

We introduce the notion of quantum MV algebra (QMV algebra) as a generalization of MV algebras and we show that the class of all effects of any Hilbert space gives rise to an example of such a structure. We investigate some properties of QMV algebras and we prove that QMV algebras represent non-idempotent extensions of orthomodular lattices.

In this paper, we aim at highlighting the significance of the A- and B-properties introduced by Finch (Bull Aust Math Soc 2:57–62, 1970b). These conditions turn out to capture interesting structural features of lattices of closed subspaces of complete inner vector spaces. Moreover, we generalise them to the context of effect algebras, establishing a novel connection between quantum structures (orthomodular posets, orthoalgebras, effect algebras) arising from the logico-algebraic approach to quantum mechanics.

We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of effects in Hilbert spaces under the spectral ordering. These algebras, called PBZ*-lattices, can also be seen as generalisations of orthomodular lattices and are remarkable for the collapse of three notions of “sharpness” that are distinct in general Brouwer-Zadeh lattices. We investigate the structure theory of PBZ*-lattices and their reducts; in particular, we prove some embedding results for PBZ*-lattices and provide an initial description of the lattice of PBZ*-varieties.