Abstract
The standard Brouwer–Zadeh poset Σ(H) is the poset of all effect operators on a Hilbert space H, naturally equipped with two types of orthocomplementation. In developing the theory, the question occured if (when) Σ(H) fulfils the de Morgan property with respect to both orthocomplementation operations. In Ref.3 the authors proved that it is the case provided dimH<∞, and they conjectured that if dimH=∞, then the answer is in the negative. In this note, we first give a somewhat simpler proof of the known result for dimH<∞, and then we give a proof to the conjecture: We show that if dimH=∞, then the de Morgan property is not valid.
Similar content being viewed by others
REFERENCES
P. Busch, “Can quantum reality be considered sharp?,” in Recent Developments in Quantum Logic, P. Mittelstaedt and E. W. Stachow, eds. (Bibliographisches Institute, Mannheim, 1985), pp. 81-101.
G. Cattaneo, “Fuzzy, quantum logic II: The logics of unsharp quantum mechanics,” Int. J. Theor. Phys. 32, 1709-1734 (1993).
G. Cattaneo and R. Giuntini, “Some results on BZ structures from Hilbertian unsharp quantum physics,” Found. Phys. 25, 1147-1183 (1995).
G. Cattaneo and J. Hamhalter, “De Morgan property for effect algebras of von Neumann algebras,” preprint.
M. L. Dalla Chiara and R. Giuntini, “Paraconsistent quantum logics,” Found. Phys. 19, 891-904 (1989).
G. Cattaneo and G. Nisticó, “Brouwer-Zadeh posets and three valued Lukasiewicz posets,” Fuzzy Sets Syst. 33, 165-190 (1989).
S. Gudder, “Sharply dominating effect algebras,” Tatra Mountains Mathematical Publication 15, 23-31 (1998) (Special Issue: Quantum Structures II, Dedicated to Gudrun Kalmbach).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cattaneo, G., Hamhalter, J. & Pták, P. On the de Morgan Property of the Standard Brouwer–Zadeh Poset. Foundations of Physics 30, 1801–1805 (2000). https://doi.org/10.1023/A:1026414704133
Issue Date:
DOI: https://doi.org/10.1023/A:1026414704133