@article(Barrett07,
 author       = "J. Barrett",
 year         = "2007",
 title        = "Information processing in generalized probabilistic theories",
 journal      = "Physical Review A",
 volume       = "75",
 pages        = "032304",
 doi          = "10.1103/PhysRevA.75.032304",
)
@article(Bell64,
 author       = "J. S. Bell",
 year         = "1964",
 title        = "On the {E}instein {P}odolsky {R}osen paradox",
 journal      = "Physics",
 volume       = "1",
 number       = "3",
 pages        = "195--200",
)
@article(BirkhoffNeumann36,
 author       = "G. Birkhoff and J. von Neumann",
 year         = "1936",
 title        = "The logic of quantum mechanics",
 journal      = "Annals of Mathematics",
 volume       = "37",
 number       = "4",
 pages        = "823--843",
 doi          = "10.2307/1968621",
)
@article(Bohr48,
 author       = "N. Bohr",
 year         = "1948",
 title        = "On the notions of causality and complementarity",
 journal      = "Dialectica",
 volume       = "2",
 number       = "3-4",
 pages        = "312--319",
 doi          = "10.1111/j.1746-8361.1948.tb00703.x",
)
@article(BrunsLakser70,
 author       = "G. Bruns and H. Lakser",
 year         = "1970",
 title        = "Injective hulls of semilattices",
 journal      = "Canadian Mathematical Bulletin",
 volume       = "13",
 pages        = "115--118",
 doi          = "10.4153/CMB-1970-023-6",
)
@article(CHLS09,
 author       = "M. Caspers and C. Heunen and N. P. Landsman and B. Spitters",
 year         = "2009",
 title        = "Intuitionistic quantum logic of an {$n$}-level system",
 journal      = "Foundations of Physics",
 volume       = "39",
 pages        = "731--759",
 doi          = "10.1007/s10701-009-9308-7",
)
@article(Clauser69,
 author       = "J. F. Clauser and M. A. Horne and A. Shimony and R. A. Holt",
 year         = "1969",
 title        = "Proposed experiment to test local hidden-variable theories",
 journal      = "Physical Review Letters",
 volume       = "23",
 number       = "15",
 pages        = "880--884",
 doi          = "10.1103/PhysRevLett.23.880",
)
@article(Coecke02,
 author       = "B. Coecke",
 year         = "2002",
 title        = "Quantum logic in intuitionistic perspective",
 journal      = "Studia Logica",
 volume       = "70",
 number       = "3",
 pages        = "411--440",
 doi          = "10.1023/A:1015106515413",
)
@article(Csaszar55,
 author       = "{\'A}. Cs{\'a}sz{\'a}r",
 year         = "1955",
 title        = "Sur la structure des escapes de probabilit{\'e} conditionnelle",
 journal      = "Acta Mathematica Academiae Scientiarum Hungarica",
 volume       = "6",
 number       = "3-4",
 pages        = "337--360",
 doi          = "10.1007/BF02024394",
)
@incollection(Dummett76,
 author       = "M. Dummett",
 year         = "1976",
 title        = "Is logic empirical?",
 editor       = "H. D. Lewis",
 booktitle    = "Contemporary British Philosophy Volume {IV}",
 publisher    = "George Allen and Unwin",
 pages        = "45--68",
)
@(Fuchs10,
 author       = "C. A. Fuchs",
 year         = "2010",
 title        = "{QB}ism, the perimeter of {Q}uantum {B}ayesianism",
 url          = "http://arxiv.org/abs/1003.5209",
)
@article(Gleason57,
 author       = "A. Gleason",
 year         = "1957",
 title        = "Measures on the closed subspaces of a {H}ilbert space",
 journal      = "Indiana University Mathematics Journal",
 volume       = "6",
 pages        = "885--893",
 doi          = "10.1512/iumj.1957.6.56050",
)
@article(Hajek03,
 author       = "A. H{\'a}jek",
 year         = "2003",
 title        = "What conditional probability could not be",
 journal      = "Synthese",
 volume       = "137",
 number       = "3",
 pages        = "273--323",
 doi          = "10.1023/B:SYNT.0000004904.91112.16",
)
@article(Hermens12,
 author       = "R. Hermens",
 year         = "2012",
 title        = "Speakable in quantum mechanics",
 journal      = "Synthese",
 doi          = "10.1007/s11229-012-0158-z",
)
@article(Jarrett84,
 author       = "J. P. Jarrett",
 year         = "1984",
 title        = "On the physical significance of the locality conditions in the {B}ell arguments",
 journal      = "No{\^u}s",
 volume       = "18",
 number       = "4",
 pages        = "569--589",
 doi          = "10.2307/2214878",
)
@article(KS67,
 author       = "S. Kochen and E. P. Specker",
 year         = "1967",
 title        = "The problem of hidden variables in quantum mechanics",
 journal      = "Journal of Mathematics and Mechanics",
 volume       = "17",
 pages        = "59--67",
)
@incollection(Maudlin05,
 author       = "T. Maudlin",
 year         = "2005",
 title        = "The tale of quantum logic",
 editor       = "Y. Ben-Menahem",
 booktitle    = "Hilary Putnam (Contemporary Philosophy in Focus)",
 publisher    = "Cambridge University Press",
 pages        = "156--187",
 doi          = "10.1017/CBO9780511614187.006",
)
@book(Neumann55,
 author       = "J. von Neumann",
 year         = "1955",
 title        = "Mathematical Foundations of Quantum Mechanics",
 publisher    = "Princeton University Press",
 note         = "Translated from the German by R. T. Beyer. Original title: {Mathematische Grundlagen der Quantenmechanik, Berlin 1932}",
)
@article(Peres78,
 author       = "A. Peres",
 year         = "1978",
 title        = "Unperformed experiments have no results",
 journal      = "American Journal of Physics",
 volume       = "46",
 number       = "7",
 pages        = "745--747",
 doi          = "10.1119/1.11393",
)
@book(Popper59,
 author       = "K. Popper",
 year         = "1959",
 title        = "The Logic of Scientific Discovery",
 publisher    = "Hutchinson",
 address      = "London",
)
@article(Putnam69,
 author       = "H. Putnam",
 year         = "1969",
 title        = "Is logic empirical?",
 journal      = "Boston Studies in the Philosophy of Science",
 volume       = "V",
 doi          = "10.1007/978-94-010-3381-7\_5",
)
@book(Redhead87,
 author       = "M. Redhead",
 year         = "1987",
 title        = "Incompleteness, Nonlocality, and Realism",
 publisher    = "Clarendon Press",
 address      = "Oxford",
)
@article(Renyi55,
 author       = "A. R{\'e}nyi",
 year         = "1955",
 title        = "On a new axiomatic theory of probability",
 journal      = "Acta Mathematica Academiae Scientiarum Hungarica",
 volume       = "6",
 number       = "3-4",
 pages        = "285--335",
 doi          = "10.1007/BF02024393",
)
@incollection(Shimony84,
 author       = "A. Shimony",
 year         = "1984",
 title        = "Controllable and uncontrollable non-locality",
 editor       = "S. Kamafuchi et. al.",
 booktitle    = "Foundations of Quantum Mechanics in the Light of New Technology",
 publisher    = "Physical Society of Japan",
 address      = "Tokyo",
 pages        = "225--230",
 doi          = "10.1017/CBO9781139172196.010",
)
@article(Spohn86,
 author       = "W. Spohn",
 year         = "1986",
 title        = "The representation of {P}opper measures",
 journal      = "Topoi",
 volume       = "5",
 pages        = "69--74",
 doi          = "10.1007/BF00137831",
)
@article(Stairs83,
 author       = "A. Stairs",
 year         = "1983",
 title        = "Quantum logic, realism, and value definiteness",
 journal      = "Philosophy of Science",
 volume       = "50",
 pages        = "578--602",
 doi          = "10.1086/289140",
)
@incollection(Wilce12,
 author       = "A. Wilce",
 year         = "2012",
 title        = "Quantum logic and probability theory",
 editor       = "E. N. Zalta",
 booktitle    = "The Stanford Encyclopedia of Philosophy",
 edition      = "fall 2012",
)