, Volume 19, Issue 7, pp 931-945

Toward a formal language for unsharp properties

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.