G. Birkhoff & J. von Neumann (1936):
The Logic of Quantum Mechanics.
Ann. Math. 37,
pp. 823–845,
doi:10.2307/1968621.
G. Chevalier (1989):
Commutators and Decompositions of Orthomodular Lattices.
Order 6,
pp. 181–194,
doi:10.1007/BF02034335.
P. Gibbins (1987):
Particles and Paradoxes: The Limits of Quantum Logic.
Cambridge UP,
Cambridge, UK,
doi:10.1017/CBO9780511570674.
G. Kalmbach (1983):
Orthomodular Lattices.
Academic,
London.
S. Kochen & E. P. Specker (1967):
The Problem of Hidden Variables in Quantum Mechanics.
J. Math. Mech. 17,
pp. 59–87.
E. L. Marsden (1970):
The commutator and solvability in a generalized orthomodular lattice.
Pacific J. Math 33,
pp. 357–361,
doi:10.2140/pjm.1970.33.357.
J. von Neumann (1955):
Mathematical Foundations of Quantum Mechanics.
Princeton UP,
Princeton, NJ.
[English translation ofıt Mathematische Grundlagen der Quantenmechanik (Springer, Berlin, 1932)].
M. Ozawa (1984):
Quantum measuring processes of continuous observables.
J. Math. Phys. 25,
pp. 79–87,
doi:10.1063/1.526000.
M. Ozawa (2004):
Uncertainty relations for noise and disturbance in generalized quantum measurements.
Ann. Phys. (N.Y.) 311,
pp. 350–416,
doi:10.1016/j.aop.2003.12.012.
M. Ozawa (2006):
Quantum perfect correlations.
Ann. Phys. (N.Y.) 321,
pp. 744–769,
doi:10.1016/j.aop.2005.08.007.
M. Ozawa (2007):
Transfer principle in quantum set theory.
J. Symbolic Logic 72,
pp. 625–648,
doi:10.2178/jsl/1185803627.
M. Ozawa (2011):
Quantum Reality and Measurement: A Quantum Logical Approach.
Found. Phys. 41,
pp. 592–607,
doi:10.1007/s10701-010-9462-y.
M. Redhead (1987):
Incompleteness, Nonlocality, and Realism: A Prolegomenon to the Philosophy of Quantum Mechanics.
Oxford UP,
Oxford.
G. Takeuti (1981):
Quantum set theory.
In: E. G. Beltrametti & B. C. van Fraassen: Current Issues in Quantum Logic.
Plenum,
New York,
pp. 303–322,
doi:10.1007/978-1-4613-3228-2_19.
G. Takeuti & W. M. Zaring (1971):
Introduction to Axiomatic Set Theory.
Springer,
New York,
doi:10.1007/978-1-4613-8168-6.