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