Abstract
This paper is concerned with a logical system, called Brouwer-Zadeh logic, arising from the BZ poset of all effects of a Hilbert space. In particular, we prove a representation theorem for Brouwer-Zadeh lattices, and we show that Brouwer-Zadeh logic is not characterized by the MacNeille completions of all BZ posets of effects.
Similar content being viewed by others
References
G. Birkhoff and J. von Neumann, “The logic of quantum mechanics,”Ann. Math. 37, (1936).
P. Busch, “Momentum conservation forbids sharp localization,”J. Phys. A 18, 3351, 823–843 (1985).
G. Cattaneo and G. Marino, “Non-standard orthocomplementations on partially ordered sets and fuzziness,”Int. J. Fuzzy Sets Syst. 25, 107–123 (1988).
G. Cattaneo and G. Nistico, “Brouwer-Zadeh posets and three-valued Łukasiewicz posets,”Int. J. Fuzzy Sets Syst. 33, 165–190 (1989).
M. L. Dalla Chiara, “Quantum logic,” in D. Gabbay and F. Guenthneer, eds.,Handbook of Philosophical Logic, III (Reidel, Dordrecht, 1986).
M. L. Dalla Chiara and R. Giuntini, “Paraconsistent Quantum Logics,”Found. Phys. 19, 891–904 (1989).
E. B. Davies,Quantum Theory of Open Systems (Academic Press, New York, 1976).
R. Giuntini, “Brouwer-Zadeh Quantum Logic,” preprint.
G. Kalmbach,Orthomodular Lattices (Academic Press, New York, 1983).
G. Ludwig,Foundations of Quantum Mechanics, 1 (Springer, Berlin, 1983).
P. Mittelstaedt, A. Prieur, and R. Schieder, “Unsharp particle-wave duality in a photon split beam experiment,”Found. Phys. 17, 891–903 (1987).
M. Ozawa, “Quantum measuring processes of continuous observable,”J. Math. Phys. 25, 79–87 (1984).
E. Prugovecki,Stochastic Quantum Mechanics and Quantum Spacetime (Reidel, Dordrecht, 1984).
F. E. Schroeck, “Experimental and philosophical foundations of stochastic quantum mechanics,” in Y. S. Kim and W. W. Zachary, eds.,The Physics of Phase Space (Springer, Berlin, 1987).
E. P. Wigner, “Die Messung quantenmechanischer Operatoren,”Z. Phys. 133, 101–108 (1952).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Giuntini, R. Brouwer-Zadeh logic and the operational approach to quantum mechanics. Found Phys 20, 701–714 (1990). https://doi.org/10.1007/BF01889456
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01889456