Toward a formal language for unsharp properties |
| |
| Authors: | Roberto Giuntini Heinz Greuling |
| |
| Affiliation: | (1) Institut für theoretische Physik, Universität zu Köln, Zülpicherstrasse 77, D-5000 Köln 41, Federal Republic of Germany;(2) Present address: Dipartimento di Filosofia, Università di Firenze, via Bolognese 52, I-50139 Firenze, Italy |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
