G. Birkhoff & J. von Neumann (1936):
The Logic of Quantum Mechanics.
Ann. Math. 37,
pp. 823–843,
doi:10.2307/1968621.
G. Bruns & G. Kalmbach (1973):
Some remarks on free orthomodular lattices.
In: J. Schmidt: Proc. Lattice Theory Conf.,
Houston, U.S.A.,
pp. 397–408.
G. Chevalier (1989):
Commutators and Decompositions of Orthomodular Lattices.
Order 6,
pp. 181–194,
doi:10.1007/BF02034335.
P. J. Cohen (1963):
The independence of the continuum hypothesis I.
Proc. Nat. Acad. Sci. U.S.A. 50,
pp. 1143–1148,
doi:10.1073/pnas.50.6.1143.
P. J. Cohen (1966):
Set Theory and the Continuum Hypothesis.
Benjamin,
New York.
A. Doering & B. Dewitt (2012):
Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order.
Available at https://arxiv.org/abs/1208.4724.
M. P. Fourman & D. S. Scott (1979):
Sheaves and logic.
In: M. P. Fourman, C. J. Mulvey & D. S. Scott: Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977,
Lecture Notes in Math. 753.
Springer,
Berlin,
pp. 302–401,
doi:10.1007/BFb0061824.
R. J. Grayson (1979):
Heyting-valued models for intuitionistic set theory.
In: M. P. Fourman, C. J. Mulvey & D. S. Scott: Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977,
Lecture Notes in Math. 753.
Springer,
Berlin,
pp. 402–414,
doi:10.1007/BFb0061825.
S. Gudder (1969):
Joint Distributions of Observables.
Indiana Univ. Math. J. 18,
pp. 325–335,
doi:10.1512/iumj.1969.18.18025.
G. M. Hardegree (1981):
Material implication in orthomodular (and Boolean) lattices.
Notre Dame J. Formal Logic 22,
pp. 163–182,
doi:10.1305/ndjfl/1093883401.
P. T. Johnstone (1977):
Topos theory.
London Mathematical Society Monographs, vol. 10.
Academic,
London.
G. Kalmbach (1983):
Orthomodular Lattices.
Academic,
London.
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.
[Originally published:ıt Mathematische Grundlagen der Quantenmechanik (Springer, Berlin, 1932)].
M. P. Olson (1971):
The selfadjoint operators of a von Neumann algebra form a conditionally complete lattice.
Proc. Amer. Math. Soc. 28(2),
pp. 537–544,
doi:10.1090/S0002-9939-1971-0276788-1.
M. Ozawa (2006):
Quantum perfect correlations.
Ann. Physics 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 (2016):
Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory.
New Generat. Comput. 34,
pp. 125–152,
doi:10.1007/s00354-016-0205-2.
A. Płaneta & J. Stochel (2012):
Spectral order for unbounded operators.
J. Math. Anal. App. 389(2),
pp. 1029–1045,
doi:10.1016/j.jmaa.2011.12.042.
S. Pulmannová (1985):
Commutators in orthomodular lattices.
Demonstratio Math. 18,
pp. 187–208.
D. Scott & R. Solovay:
Boolean-Valued Models for Set Theory.
Unpublished manuscript for Proc. AMS Summer Institute on Set Theory, Los Angeles: Univ. Cal., 1967.
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.