Toward a formal language for unsharp properties
- Cite this article as:
- Giuntini, R. & Greuling, H. Found Phys (1989) 19: 931. doi:10.1007/BF01889307
- 86 Downloads
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.