Hostname: page-component-77c89778f8-cnmwb Total loading time: 0 Render date: 2024-07-17T02:41:49.965Z Has data issue: false hasContentIssue false

On the structure of quantum logic

Published online by Cambridge University Press:  12 March 2014

P. D. Finch*
Affiliation:
Monash University

Extract

In the axiomatic development of the logic of nonrelativistic quantum mechanics it is not difficult to set down certain plausible axioms which ensure that the quantum logic of propositions has the structure of an orthomodular poset. This can be done in a number of ways, for example, as in Gunson [2], Mackey [4], Piron [5], Varadarajan [7] and Zierler [8], and we summarise one of these ways in §2 below.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1969

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] Birkhoff, G., Lattice theory, 3rd ed., American Mathematical Society Colloquium Publications, vol. 25, Amer. Math. Soc., Providence, R.I., 1967.Google Scholar
[2] Gunson, J., On the algebraic structure of quantum mechanics, Communications in mathematical physics, vol. 6 (1967), pp. 262285.Google Scholar
[3] Jauch, J. M., Foundations of quantum mechanics, Addison-Wesley, Reading, Mass., 1968.Google Scholar
[4] Mackey, G. W., Mathematical foundations of quantum mechanics, W. A. Benjamin, New York, 1963.Google Scholar
[5] Piron, G., Axiomatique quantique, Helvetica physica acta, vol. 36 (1964), pp. 439468.Google Scholar
[6] Ramsay, A., A theorem on two commuting observables, Journal of mathematics and mechanics, vol. 15 (1966), pp. 227234.Google Scholar
[7] Varadarajan, V. S., Probability in physics and a theorem on simultaneous observability, Communications in pure and applied mathematics, vol. 15 (1962), pp. 189217.Google Scholar
[8] Zierler, N., Axioms for non-relativistic quantum mechanics, Pacific journal of mathematics, vol. 2 (1961), pp. 11511169.Google Scholar