Abstract
An adequate conjunction-implication pair is given for complete orthomodular lattices. The resulting conjunction is noncommutative in nature. We use the well-known lattice of closed subspaces of a Hilbert space, to give physical meaning to the given lattice operation.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
T. L. Bell, “A new approach to quantum logic,”J. Philos. Sci. 37, 83–95 (1986).
E. G. Beltrameti and G. Cassinelli,The Logic of Quantum Mechanics (Encyclopedia of Mathematics and Its Applications) (Addison-Wesley, Reading, Massachusetts, 1981).
G. Birkhoff and J. Von-Neumann, “The logic of quantum mechanics,”Ann. Math. 37, 823–843.
T. A. Brody, “On quantum logic,”Found. Phys. 14, 409–430 (1984).
P. D. Finch, “Quantum logic as an implication algebra,”Bull. Aust. Math. Soc. 1, 101–106 (1970).
D. Foulis, “Baer *-semigroups,”Proc. Am. Math. Soc. 11, 648–654 (1960).
S. P. Gudder and R. H. Schelp, “Coordinatization of orthocomplemented and orthomodular posets,”Proc. Am. Math. Soc. 25, 229–237 (1970).
G. M. Hardegree, “Material implication in orthomodular (and Boolean) lattices,”Notre Dame J. Formal Logic 22, 163–181 (1981).
M. Jammer,The Philosophy of Quantum Mechanics (Wiley, New York, 1974).
J. M. Jauch,Foundations of Quantum Mechanics (Addison-Wesley, Reading, Massachusetts, 1973).
P. T. Johnstone,Stone Spaces (Cambridge University Press, Cambridge, 1982).
M. Maczynski, “Commutativity and generalized transition probability in quantum logic,”Current Issues in Quantum Logic, E. G. Beltrametti and Bas C. van Fraassen, eds. (Plenum, New York, 1981).
C. Mulvey, Communications at meetings in Oberwolfach, Paris, and Brighton, 1984.
A. W. Naylor and G. R. Sell,Linear Operator Theory in Engineering and Science (Springer, New York, 1982).
C. Piron,Foundations of Quantum Physics (W. A. Benjamin, New York, 1976).
L. Román and B. Rumbos, “Remarks on material implication in orthomodular lattices,”Math. Rep. Acad. Sci. X, 279–284 (1988).
L. Román and B. Rumbos, “A characterization of nuclei in orthomodular and quantic lattices,” to appear inJ. Pure Appl. Algebra.
Author information
Authors and Affiliations
Additional information
To the memory of Thomas A. Brody.
Rights and permissions
About this article
Cite this article
Román, L., Rumbos, B. Quantum logic revisited. Found Phys 21, 727–734 (1991). https://doi.org/10.1007/BF00733278
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00733278