{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:08Z","timestamp":1759637588815},"reference-count":95,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,12,14]],"date-time":"2010-12-14T00:00:00Z","timestamp":1292284800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Nat Comput"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s11047-010-9241-x","type":"journal-article","created":{"date-parts":[[2010,12,15]],"date-time":"2010-12-15T18:43:20Z","timestamp":1292438600000},"page":"1371-1382","source":"Crossref","is-referenced-by-count":2,"title":["Quantum value indefiniteness"],"prefix":"10.1007","volume":"10","author":[{"given":"Karl","family":"Svozil","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,12,14]]},"reference":[{"key":"9241_CR1","first-page":"373","volume":"25","author":"V Alda","year":"1980","unstructured":"Alda V (1980) On 0-1 measures for projectors I. Aplikace matematiky (Appl Math) 25:373\u2013374","journal-title":"Aplikace matematiky (Applications of Mathematics)"},{"key":"9241_CR2","first-page":"57","volume":"26","author":"V Alda","year":"1981","unstructured":"Alda V (1981) On 0-1 measures for projectors II. Aplikace matematiky (Appl Math) 26:57\u201358","journal-title":"Aplikace matematiky (Applications of Mathematics)"},{"key":"9241_CR3","doi-asserted-by":"crossref","unstructured":"Amselem E, R\u00e5dmark M, Bourennane M, Cabello A (2009) State-independent quantum contextuality with single photons. Phys Rev Lett 103(16):160405. doi: 10.1103\/PhysRevLett.103.160405","DOI":"10.1103\/PhysRevLett.103.160405"},{"issue":"4","key":"9241_CR4","doi-asserted-by":"crossref","first-page":"040403","DOI":"10.1103\/PhysRevLett.103.040403","volume":"103","author":"H Bartosik","year":"2009","unstructured":"Bartosik H, Klepp J, Schmitzer C, Sponar S, Cabello A, Rauch H, Hasegawa Y (2009) Experimental test of quantum contextuality in neutron interferometry. Phys Rev Lett 103(4):040403. doi: 10.1103\/PhysRevLett.103.040403","journal-title":"Phys Rev Lett"},{"key":"9241_CR5","volume-title":"Handbook of Mathematical Logic","author":"J Barwise","year":"1978","unstructured":"Barwise J (1978) Handbook of mathematical logic. North-Holland, Amsterdam"},{"key":"9241_CR6","doi-asserted-by":"crossref","unstructured":"Bell JS (1966) On the problem of hidden variables in quantum mechanics. Revi Mod Phys 38:447\u2013452. doi: 10.1103\/RevModPhys.38.447 . Reprinted in Bell (1987), pp 1\u201313","DOI":"10.1103\/RevModPhys.38.447"},{"key":"9241_CR7","volume-title":"Speakable and Unspeakable in Quantum Mechanics","author":"JS Bell","year":"1987","unstructured":"Bell JS (1987) Speakable and unspeakable in quantum mechanics. Cambridge University Press, Cambridge"},{"issue":"4","key":"9241_CR8","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 37(4):823\u2013843. doi: 10.2307\/1968621","journal-title":"Annals of Mathematics"},{"key":"9241_CR9","unstructured":"Bohr N (1949) Discussion with Einstein on epistemological problems in atomic physics. In: Schilpp PA (ed) Albert Einstein: philosopher\u2013scientist. The Library of Living Philosophers, Evanston, pp 200\u2013241"},{"key":"9241_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511804076","volume-title":"Computability and Logic fifth edition","author":"GS Boolos","year":"2007","unstructured":"Boolos GS, Burgess JP, Jeffrey RC (2007) Computability and logic, 5th edn. Cambridge University Press, Cambridge"},{"key":"9241_CR11","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1007\/BF01397184","volume":"38","author":"M Born","year":"1926","unstructured":"Born M (1926a) Quantenmechanik der Sto\u00dfvorg\u00e4nge. Z Phys 38:803\u2013827. doi: 10.1007\/BF01397184","journal-title":"Zeitschrift f\u00fcr Physik"},{"key":"9241_CR12","doi-asserted-by":"crossref","first-page":"863","DOI":"10.1007\/BF01397477","volume":"37","author":"M Born","year":"1926","unstructured":"Born M (1926b) Zur Quantenmechanik der Sto\u00dfvorg\u00e4nge. Z Phys 37:863\u2013867. doi: 10.1007\/BF01397477","journal-title":"Zeitschrift f\u00fcr Physik"},{"issue":"4","key":"9241_CR13","first-page":"647","volume":"49","author":"\u010c Brukner","year":"1999","unstructured":"Brukner \u010c, Zeilinger A (1999) Malus\u2019 law and quantum information. Acta Phys Slovaca 49(4):647\u2013652","journal-title":"Acta Physica Slovaca"},{"issue":"18","key":"9241_CR14","doi-asserted-by":"crossref","first-page":"2813","DOI":"10.1142\/S0217751X00002020","volume":"15","author":"A Cabello","year":"2000","unstructured":"Cabello A (2000) Kochen\u2013Specker theorem and experimental test on hidden variables. Int J Mod Phys A 15(18):2813\u20132820. doi: 10.1142\/S0217751X00002020","journal-title":"International Journal of Modern Physics. A"},{"issue":"21","key":"9241_CR15","doi-asserted-by":"crossref","first-page":"210401","DOI":"10.1103\/PhysRevLett.101.210401","volume":"101","author":"A Cabello","year":"2008","unstructured":"Cabello A (2008) Experimentally testable state-independent quantum contextuality. Phys Rev Lett 101(21):210401. doi: 10.1103\/PhysRevLett.101.210401","journal-title":"Phys Rev Lett"},{"issue":"4","key":"9241_CR16","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0375-9601(96)00134-X","volume":"212","author":"A Cabello","year":"1996","unstructured":"Cabello A, Estebaranz JM, Garc\u00eda-Alcaine G (1996) Bell\u2013Kochen\u2013Specker theorem: a proof with 18 vectors. Phys Lett A 212(4):183\u2013187. doi: 10.1016\/0375-9601(96)00134-X","journal-title":"Physics Letters A"},{"key":"9241_CR17","volume-title":"Information and Randomness\u2014An Algorithmic Perspective, second edition","author":"C Calude","year":"2002","unstructured":"Calude C (2002) Information and randomness\u2014an algorithmic perspective, 2nd edn. Springer, Berlin"},{"issue":"2","key":"9241_CR20","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1166\/asl.2008.016","volume":"1","author":"CS Calude","year":"2008","unstructured":"Calude CS, Svozil K (2008) Quantum randomness and value indefiniteness. Adv Sci Lett 1(2):165\u2013168. doi: 10.1166\/asl.2008.016","journal-title":"Advanced Science Letters"},{"issue":"3","key":"9241_CR18","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1023\/A:1018862730956","volume":"29","author":"C Calude","year":"1999","unstructured":"Calude C, Hertling P, Svozil K (1999) Embedding quantum universes into classical ones. Found Phys 29(3):349\u2013379. doi: 10.1023\/A:1018862730956","journal-title":"Found Phys"},{"key":"9241_CR19","doi-asserted-by":"crossref","unstructured":"Calude CS, Dinneen MJ, Dumitrescu M, Svozil K (2010) Experimental evidence of quantum randomness incomputability. Phys Rev A 82(2):022102. doi: 10.1103\/PhysRevA.82.022102","DOI":"10.1103\/PhysRevA.82.022102"},{"key":"9241_CR21","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF00417500","volume":"4","author":"BS Cirel\u2019son (=Tsirel\u2019son)","year":"1980","unstructured":"Cirel\u2019son (=Tsirel\u2019son) BS (1980) Quantum generalizations of Bell\u2019s inequality. Lett Math Phys 4:93\u2013100","journal-title":"Letters in Mathematical Physics"},{"key":"9241_CR22","first-page":"329","volume":"8","author":"BS Cirel\u2019son (=Tsirel\u2019son)","year":"1993","unstructured":"Cirel\u2019son (=Tsirel\u2019son) BS (1993) Some results and problems on quantum Bell-type inequalities. Hadron J Suppl 8:329\u2013345","journal-title":"Hadronic Journal Supplement"},{"key":"9241_CR23","volume-title":"The Undecidable. Basic Papers on Undecidable, Unsolvable Problems and Computable Functions","author":"M Davis","year":"1965","unstructured":"Davis M (1965) The undecidable. Basic papers on undecidable, unsolvable problems and computable functions. Raven Press, Hewlett"},{"key":"9241_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8222-3","volume-title":"Gleason\u2019s Theorem and Its Applications","author":"A Dvure\u010denskij","year":"1993","unstructured":"Dvure\u010denskij A (1993) Gleason\u2019s theorem and its applications. Kluwer, Dordrecht"},{"issue":"10","key":"9241_CR25","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1103\/PhysRev.47.777","volume":"47","author":"A Einstein","year":"1935","unstructured":"Einstein A, Podolsky B, Rosen N (1935) Can quantum-mechanical description of physical reality be considered complete? Phys Rev 47(10):777\u2013780. doi: 10.1103\/PhysRev.47.777","journal-title":"Physical Review"},{"key":"9241_CR26","volume-title":"A Mathematical Introduction to Logic, second edition","author":"H Enderton","year":"2001","unstructured":"Enderton H (2001) A mathematical introduction to logic, 2nd edn. Academic Press, San Diego"},{"key":"9241_CR27","unstructured":"Everett H (1957) \u2018Relative state\u2019 formulation of quantum mechanics. Rev Mod Phys 29:454\u2013462. doi: 10.1103\/RevModPhys.29.454 . Reprinted in Wheeler and Zurek (1983), pp. 315\u2013323"},{"issue":"3","key":"9241_CR28","doi-asserted-by":"crossref","first-page":"032334","DOI":"10.1103\/PhysRevA.75.032334","volume":"75","author":"M Fiorentino","year":"2007","unstructured":"Fiorentino M, Santori C, Spillane SM, Beausoleil RG, Munro WJ (2007) Secure self-calibrating quantum random-bit generator. Phys Rev A 75(3):032334. doi: 10.1103\/PhysRevA.75.032334","journal-title":"Phys Rev A"},{"issue":"2","key":"9241_CR29","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF02903286","volume":"64","author":"M Froissart","year":"1981","unstructured":"Froissart M (1981) Constructive generalization of Bell\u2019s inequalities. Nuovo Cimento B 64(2):241\u2013251","journal-title":"Nuovo Cimento B"},{"issue":"4","key":"9241_CR30","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1512\/iumj.1957.6.06050","volume":"6","author":"AM Gleason","year":"1957","unstructured":"Gleason AM (1957) Measures on the closed subspaces of a Hilbert space. J Math Mech (now Indiana Univ Math J) 6(4):885\u2013893. doi: 10.1512\/iumj.1957.6.56050","journal-title":"J Math Mech (now Indiana Univ Math J)"},{"issue":"10","key":"9241_CR31","doi-asserted-by":"crossref","first-page":"1961","DOI":"10.1088\/0256-307X\/21\/10\/027","volume":"21","author":"M Hai-Qiang","year":"2004","unstructured":"Hai-Qiang M, Su-Mei W, Da Z, Jun-Tao C, Ling-Ling J, Yan-Xue H, Ling-An W (2004) A random number generator based on quantum entangled photon pairs. Chin Phys Lett 21(10):1961\u20131964. doi: 10.1088\/0256-307X\/21\/10\/027","journal-title":"Chinese Physics Letters"},{"key":"9241_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6387-6","volume-title":"Finite-dimensional vector spaces","author":"PR Halmos","year":"1974","unstructured":"Halmos PR (1974) Finite-dimensional vector spaces. Springer, New York"},{"issue":"23","key":"9241_CR33","doi-asserted-by":"crossref","first-page":"230401","DOI":"10.1103\/PhysRevLett.97.230401","volume":"97","author":"Y Hasegawa","year":"2006","unstructured":"Hasegawa Y, Loidl R, Badurek G, Baron M, Rauch H (2006) Quantum contextuality in a single-neutron optical experiment. Phys Rev Lett 97(23):230401. doi: 10.1103\/PhysRevLett.97.230401","journal-title":"Phys Rev Lett"},{"issue":"5","key":"9241_CR34","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/BF00729511","volume":"13","author":"P Heywood","year":"1983","unstructured":"Heywood P, Redhead MLG (1983) Nonlocality and the Kochen\u2013Specker paradox. Found Phys 13(5):481\u2013499. doi: 10.1007\/BF00729511","journal-title":"Found Phys"},{"key":"9241_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1795-4","volume-title":"The Logico-Algebraic Approach to Quantum Mechanics","author":"CA Hooker","year":"1975","unstructured":"Hooker CA (1975) The logico-algebraic approach to quantum mechanics. Volume I: historical evolution. Reidel, Dordrecht"},{"key":"9241_CR36","doi-asserted-by":"crossref","first-page":"1675","DOI":"10.1063\/1.1150518","volume":"71","author":"T Jennewein","year":"2000","unstructured":"Jennewein T, Achleitner U, Weihs G, Weinfurter H, Zeilinger A (2000) A fast and compact quantum random number generator. Rev Sci Instrum 71:1675\u20131680. doi: 10.1063\/1.1150518","journal-title":"Review of Scientific Instruments"},{"key":"9241_CR37","volume-title":"Orthomodular Lattices","author":"G Kalmbach","year":"1983","unstructured":"Kalmbach G (1983) Orthomodular lattices. Academic Press, New York"},{"key":"9241_CR38","first-page":"103","volume":"10","author":"F Kamber","year":"1964","unstructured":"Kamber F (1964) Die Struktur des Aussagenkalk\u00fcls in einer physikalischen Theorie. Nachr Akad Wiss G\u00f6ttingen 10:103\u2013124","journal-title":"Nachr. Akad. Wiss. G\u00f6ttingen"},{"key":"9241_CR39","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/BF01359975","volume":"158","author":"F Kamber","year":"1965","unstructured":"Kamber F (1965) Zweiwertige Wahrscheinlichkeitsfunktionen auf orthokomplement\u00e4ren Verb\u00e4nden. Mathematische Annalen 158:158\u2013196","journal-title":"Mathematische Annalen"},{"key":"9241_CR40","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1038\/nature08172","volume":"460","author":"G Kirchmair","year":"2009","unstructured":"Kirchmair G, Z\u00e4hringer F, Gerritsma R, Kleinmann M, G\u00fchne O, Cabello A, Blatt R, Roos CF (2009) State-independent experimental test of quantum contextuality. Nature 460:494\u2013497. doi: 10.1038\/nature08172","journal-title":"Nature"},{"key":"9241_CR41","doi-asserted-by":"crossref","unstructured":"Kochen S, Specker EP (1967) The problem of hidden variables in quantum mechanics. J Math Mech (now Indiana Univ Math J) 17(1):59\u201387. doi: 10.1512\/iumj.1968.17.17004 . Reprinted in Specker (1990), pp 235\u2013263","DOI":"10.1512\/iumj.1968.17.17004"},{"key":"9241_CR42","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00374597","volume":"50","author":"H Kragh","year":"1997","unstructured":"Kragh H (1997) The origin of radioactivity: from solvable problem to unsolved non-problem. Arch Hist Exact Sci 50:331\u2013358. doi: 10.1007\/BF00374597","journal-title":"Archive for History of Exact Sciences"},{"key":"9241_CR43","unstructured":"Kragh H (2009) Subatomic determinism and causal models of radioactive decay, 1903\u20131923. RePoSS: Research publications on science studies, vol 5. Department of Science Studies, University of Aarhus"},{"issue":"6","key":"9241_CR44","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1023\/A:1018821314465","volume":"28","author":"G Krenn","year":"1998","unstructured":"Krenn G, Svozil K (1998) Stronger-than-quantum correlations. Found Phys 28(6):971\u2013984. doi: 10.1023\/A:1018821314465","journal-title":"Found Phys"},{"key":"9241_CR45","doi-asserted-by":"crossref","first-page":"1793","DOI":"10.1103\/PhysRevA.54.1793","volume":"54","author":"G Krenn","year":"1996","unstructured":"Krenn G, Zeilinger A (1996) Entangled entanglement. Phys Rev A 54:1793\u20131797. doi: 10.1103\/PhysRevA.54.1793","journal-title":"Phys Rev A"},{"issue":"9","key":"9241_CR46","doi-asserted-by":"crossref","first-page":"1774","DOI":"10.1364\/AO.48.001774","volume":"48","author":"O Kwon","year":"2009","unstructured":"Kwon O, Cho Y-W, Kim Y-H (2009) Quantum random number generator using photon-number path entanglement. Appl Opt 48(9):1774\u20131778. doi: 10.1364\/AO.48.001774","journal-title":"Applied Optics"},{"key":"9241_CR47","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1103\/RevModPhys.65.803","volume":"65","author":"ND Mermin","year":"1993","unstructured":"Mermin ND (1993) Hidden variables and the two theorems of John Bell. Rev Mod Phys 65:803\u2013815. doi: 10.1103\/RevModPhys.65.803","journal-title":"Reviews of Modern Physics"},{"issue":"4","key":"9241_CR48","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00769704","volume":"3","author":"T Murata","year":"1990","unstructured":"Murata T (1990) Quantum nonlocality without counterfactual definiteness? Found Phys Lett 3(4):325\u2013342. doi: 10.1007\/BF00769704","journal-title":"Found Phys Letters"},{"key":"9241_CR49","unstructured":"Neumark MA (1954) Principles of quantum theory. In: Matthes K (ed) Sowjetische Arbeiten zur Funktionalanalysis. Beiheft zur Sowjetwissenschaft, vol 44. Gesellschaft f\u00fcr Deutsch-Sowjetische Freundschaft, Berlin, pp 195\u2013273"},{"key":"9241_CR50","volume-title":"Classical Recursion Theory Vol. 1","author":"P Odifreddi","year":"1989","unstructured":"Odifreddi P (1989) Classical recursion theory, vol 1. North-Holland, Amsterdam"},{"key":"9241_CR51","doi-asserted-by":"crossref","unstructured":"Pauli W (1958) Die allgemeinen Prinzipien der Wellenmechanik. In: Fl\u00fcgge S (ed) Handbuch der Physik. Band V, Teil 1. Prinzipien der Quantentheorie I. Springer, Berlin, pp 1\u2013168","DOI":"10.1007\/978-3-642-80539-4_1"},{"key":"9241_CR52","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1119\/1.11393","volume":"46","author":"A Peres","year":"1978","unstructured":"Peres A (1978) Unperformed experiments have no results. Am J Phys 46:745\u2013747. doi: 10.1119\/1.11393","journal-title":"American Journal of Physics"},{"key":"9241_CR53","doi-asserted-by":"crossref","unstructured":"Peres A (1991) Two simple proofs of the Kochen\u2013Specker theorem. J Phys A 24(4):L175\u2013L178. doi: 10.1088\/0305-4470\/24\/4\/003 . Reprinted in Peres (1993), pp 186\u2212200","DOI":"10.1088\/0305-4470\/24\/4\/003"},{"key":"9241_CR54","volume-title":"Quantum Theory: Concepts and Methods","author":"A Peres","year":"1993","unstructured":"Peres A (1993) Quantum theory: concepts and methods. Kluwer, Dordrecht"},{"key":"9241_CR95","doi-asserted-by":"crossref","unstructured":"Pironio S, Ac\u00edn A, Massar S, Boyer de la Giroday A, Matsukevich DN, Maunz P, Olmschenk S, Hayes D, Luo L, Manning TA, Monroe C (2010) Random numbers certified by Bell\u2019s theorem. Nature 464:1021\u20131024. doi: 10.1038\/nature09008","DOI":"10.1038\/nature09008"},{"issue":"6","key":"9241_CR55","doi-asserted-by":"crossref","first-page":"1556","DOI":"10.1063\/1.527066","volume":"27","author":"I Pitowsky","year":"1986","unstructured":"Pitowsky I (1986) The range of quantum probabilities. J Math Phys 27(6):1556\u20131565","journal-title":"Journal of Mathematical Physics"},{"key":"9241_CR56","doi-asserted-by":"crossref","unstructured":"Pitowsky I (1989a) From George Boole to John Bell: the origin of Bell\u2019s inequality. In: Kafatos M (ed) Bell\u2019s theorem, quantum theory and the conceptions of the universe. Kluwer, Dordrecht, pp 37\u201349","DOI":"10.1007\/978-94-017-0849-4_6"},{"key":"9241_CR57","volume-title":"Quantum Probability\u2014Quantum Logic","author":"I Pitowsky","year":"1989","unstructured":"Pitowsky I (1989b) Quantum probability\u2014quantum logic. Springer, Berlin"},{"key":"9241_CR58","first-page":"81","volume":"39","author":"I Pitowsky","year":"1990","unstructured":"Pitowsky I (1990) The physical Church\u2013Turing thesis and physical computational complexity. Iyyun 39:81\u201399","journal-title":"Iyyun"},{"key":"9241_CR59","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1093\/bjps\/45.1.95","volume":"45","author":"I Pitowsky","year":"1994","unstructured":"Pitowsky I (1994) George Boole\u2019s \u2018conditions of possible experience\u2019 and the quantum puzzle. Br J Philos Sci 45:95\u2013125. doi: 10.1093\/bjps\/45.1.95","journal-title":"The British Journal for the Philosophy of Science"},{"issue":"1","key":"9241_CR60","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1063\/1.532334","volume":"39","author":"I Pitowsky","year":"1998","unstructured":"Pitowsky I (1998) Infinite and finite Gleason\u2019s theorems and the logic of indeterminacy. J Math Phys 39(1):218\u2013228. doi: 10.1063\/1.532334","journal-title":"Journal of Mathematical Physics"},{"key":"9241_CR61","doi-asserted-by":"crossref","first-page":"014102","DOI":"10.1103\/PhysRevA.64.014102","volume":"64","author":"I Pitowsky","year":"2001","unstructured":"Pitowsky I, Svozil K (2001) New optimal tests of quantum nonlocality. Phys Rev A 64:014102. doi: 10.1103\/PhysRevA.64.014102","journal-title":"Phys Rev A"},{"issue":"3","key":"9241_CR62","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF02058098","volume":"24","author":"S Popescu","year":"1994","unstructured":"Popescu S, Rohrlich D (1994) Quantum nonlocality as an axiom. Found Phys 24(3):379\u2013358. doi: 10.1007\/BF02058098","journal-title":"Found Phys"},{"key":"9241_CR63","volume-title":"Orthomodular Structures as Quantum Logics","author":"P Pt\u00e1k","year":"1991","unstructured":"Pt\u00e1k P, Pulmannov\u00e1 S (1991) Orthomodular structures as quantum logics. Kluwer, Dordrecht"},{"key":"9241_CR64","doi-asserted-by":"crossref","first-page":"2435","DOI":"10.1080\/09500349414552281","volume":"41","author":"JG Rarity","year":"1994","unstructured":"Rarity JG, Owens MPC, Tapster PR (1994) Quantum random-number generation and key sharing. J Mod Opt 41:2435\u20132444. doi: 10.1080\/09500349414552281","journal-title":"Journal of Modern Optics"},{"key":"9241_CR65","volume-title":"Incompleteness, Nonlocality, and Realism: A Prolegomenon to the Philosophy of Quantum Mechanics","author":"M Redhead","year":"1990","unstructured":"Redhead M (1990) Incompleteness, nonlocality, and realism: a prolegomenon to the philosophy of quantum mechanics. Clarendon Press, Oxford"},{"key":"9241_CR66","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1006\/jfan.1998.3372","volume":"162","author":"F Richman","year":"1999","unstructured":"Richman F, Bridges D (1999) A constructive proof of Gleason\u2019s theorem. J Funct Anal 162:287\u2013312. doi: 10.1006\/jfan.1998.3372","journal-title":"Journal of Functional Analysis"},{"key":"9241_CR67","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr.","year":"1967","unstructured":"Rogers H Jr (1967) Theory of recursive functions and effective computability. McGraw-Hill, New York"},{"key":"9241_CR68","unstructured":"Schr\u00f6dinger E (1935a) Die gegenw\u00e4rtige Situation in der Quantenmechanik. Naturwissenschaften 23:807\u2013812, 823\u2013828, 844\u2013849. doi: 10.1007\/BF01491891 , 10.1007\/BF01491914 , 10.1007\/BF01491987 . English translation in Trimmer (1980) and in Wheeler and Zurek (1983), pp 152\u2013167"},{"issue":"04","key":"9241_CR69","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1017\/S0305004100013554","volume":"31","author":"E Schr\u00f6dinger","year":"1935","unstructured":"Schr\u00f6dinger E (1935b) Discussion of probability relations between separated systems. Math Proc Camb Philos Soc 31(4):555\u2013563. doi: 10.1017\/S0305004100013554","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"issue":"03","key":"9241_CR70","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1017\/S0305004100019137","volume":"32","author":"E Schr\u00f6dinger","year":"1936","unstructured":"Schr\u00f6dinger E (1936) Probability relations between separated systems. Math Proc Camb Philos Soc 32(3):446\u2013452. doi: 10.1017\/S0305004100019137","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"9241_CR71","unstructured":"Shimony A (1984) Controllable and uncontrollable non-locality. In: Kamefuchi S et\u00a0al (eds), Proceedings of the international symposium on the foundations of quantum mechanics. Physical Society of Japan, Tokyo, pp 225\u2013230. See also Jarrett J (1984) Bell\u2019s theorem, quantum mechanics and local realism. Ph.D. thesis, University of Chicago, 1983. Nous 18:569"},{"key":"9241_CR72","doi-asserted-by":"crossref","unstructured":"Specker E (1960) Die Logik nicht gleichzeitig entscheidbarer Aussagen. Dialectica 14(2\u20133):239\u2013246. doi: 10.1111\/j.1746-8361.1960.tb00422.x . Reprinted in Specker (1990), pp 175\u2013182; English translation: The logic of propositions which are not simultaneously decidable, Reprinted in Hooker (1975), pp 135\u2013140","DOI":"10.1111\/j.1746-8361.1960.tb00422.x"},{"key":"9241_CR73","volume-title":"Selecta","author":"E Specker","year":"1990","unstructured":"Specker E (1990) Selecta. Birkh\u00e4user Verlag, Basel"},{"key":"9241_CR74","unstructured":"Stace WT (1949) The refutation of realism. In: Feigl H, Sellars W (eds) Readings in philosophical analysis. Appleton\u2013Century\u2013Crofts, New York. Previously published in Mind 53, 1934"},{"key":"9241_CR75","first-page":"595","volume":"47","author":"A Stefanov","year":"2000","unstructured":"Stefanov A, Gisin N, Guinnard O, Guinnard L, Zbinden H (2000) Optical quantum random number generator. J Mod Opt 47:595\u2013598. doi: 10.1080\/095003400147908","journal-title":"Journal of Modern Optics"},{"key":"9241_CR76","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1016\/0375-9601(90)90408-G","volume":"143","author":"K Svozil","year":"1990","unstructured":"Svozil K (1990) The quantum coin toss\u2014testing microphysical undecidability. Phys Lett A 143:433\u2013437. doi: 10.1016\/0375-9601(90)90408-G","journal-title":"Physics Letters A"},{"key":"9241_CR77","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1080\/09500340408233598","volume":"51","author":"K Svozil","year":"2004","unstructured":"Svozil K (2004) Quantum information via state partitions and the context translation principle. J Mod Opt 51:811\u2013819. doi: 10.1080\/09500340410001664179","journal-title":"Journal of Modern Optics"},{"key":"9241_CR78","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1088\/1367-2630\/8\/3\/039","volume":"8","author":"K Svozil","year":"2006","unstructured":"Svozil K (2006) Are simultaneous Bell measurements possible? New J Phys 8:39. doi: 10.1088\/1367-2630\/8\/3\/039","journal-title":"New Journal of Physics"},{"key":"9241_CR79","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1016\/B978-0-444-52869-8.50015-3","volume-title":"Handbook of Quantum Logic and Quantum Structures.","author":"K Svozil","year":"2009","unstructured":"Svozil K (2009a) Contexts in quantum, classical and partition logic. In: Engesser K, Gabbay DM, Lehmann D (eds) Handbook of quantum logic and quantum structures. Elsevier, Amsterdam, pp 551\u2013586"},{"issue":"4","key":"9241_CR80","doi-asserted-by":"crossref","first-page":"040102","DOI":"10.1103\/PhysRevA.80.040102","volume":"80","author":"K Svozil","year":"2009","unstructured":"Svozil K (2009b) Proposed direct test of a certain type of noncontextuality in quantum mechanics. Phys Rev A 80(4):040102. doi: 10.1103\/PhysRevA.80.040102","journal-title":"Phys Rev A"},{"key":"9241_CR81","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1016\/j.ins.2008.06.012","volume":"179","author":"K Svozil","year":"2009","unstructured":"Svozil K (2009c) Quantum scholasticism: on quantum contexts, counterfactuals, and the absurdities of quantum omniscience. Inf Sci 179:535\u2013541. doi: 10.1016\/j.ins.2008.06.012","journal-title":"Information Sciences"},{"issue":"5","key":"9241_CR82","doi-asserted-by":"crossref","first-page":"054306","DOI":"10.1103\/PhysRevA.79.054306","volume":"79","author":"K Svozil","year":"2009","unstructured":"Svozil K (2009d) Three criteria for quantum random-number generators based on beam splitters. Phys Rev A 79(5):054306. doi: 10.1103\/PhysRevA.79.054306","journal-title":"Phys Rev A"},{"issue":"11","key":"9241_CR83","doi-asserted-by":"crossref","first-page":"5380","DOI":"10.1063\/1.531710","volume":"37","author":"K Svozil","year":"1996","unstructured":"Svozil K, Tkadlec J (1996) Greechie diagrams, nonexistence of measures in quantum logics and Kochen\u2013Specker type constructions. J Math Phys 37(11):5380\u20135401. doi: 10.1063\/1.531710","journal-title":"Journal of Mathematical Physics"},{"key":"9241_CR84","unstructured":"Trimmer JD (1980) The present situation in quantum mechanics: a translation of Schr\u00f6dinger\u2019s \u201ccat paradox\u201d. Proc Am Philos Soc 124:323\u2013338. Reprinted in Wheeler and Zurek (1983), pp 152\u2013167"},{"key":"9241_CR85","unstructured":"von Neumann J (1932) Mathematische Grundlagen der Quantenmechanik. Springer, Berlin. English translation in von Neumann (1955)"},{"key":"9241_CR86","unstructured":"von Neumann J (1951) Various techniques used in connection with random digits. Natl Bur Stand Appl Math Ser 12:36\u201338. Reprinted in von Neumann (1963) Collected works, vol V. Traub AH (ed) MacMillan, New York, pp 768\u2013770"},{"key":"9241_CR87","doi-asserted-by":"crossref","DOI":"10.1063\/1.3061789","volume-title":"Mathematical Foundations of Quantum Mechanics","author":"J Neumann von","year":"1955","unstructured":"von Neumann J (1955) Mathematical foundations of quantum mechanics. Princeton University Press, Princeton"},{"issue":"5","key":"9241_CR88","doi-asserted-by":"crossref","first-page":"056107","DOI":"10.1063\/1.2338830","volume":"100","author":"PX Wang","year":"2006","unstructured":"Wang PX, Long GL, Li YS (2006) Scheme for a quantum random number generator. J Appl Phys 100(5):056107. doi: 10.1063\/1.2338830","journal-title":"Journal of Applied Physics"},{"key":"9241_CR89","doi-asserted-by":"crossref","first-page":"5039","DOI":"10.1103\/PhysRevLett.81.5039","volume":"81","author":"G Weihs","year":"1998","unstructured":"Weihs G, Jennewein T, Simon C, Weinfurter H, Zeilinger A (1998) Violation of Bell\u2019s inequality under strict Einstein locality conditions. Phys Rev Lett 81:5039\u20135043. doi: 10.1103\/PhysRevLett.81.5039","journal-title":"Phys Rev Lett"},{"key":"9241_CR90","doi-asserted-by":"crossref","DOI":"10.1515\/9781400854554","volume-title":"Quantum Theory and Measurement","author":"JA Wheeler","year":"1983","unstructured":"Wheeler JA, Zurek WH (1983) Quantum theory and measurement. Princeton University Press, Princeton"},{"issue":"4","key":"9241_CR91","doi-asserted-by":"crossref","first-page":"631","DOI":"10.1023\/A:1018820410908","volume":"29","author":"A Zeilinger","year":"1999","unstructured":"Zeilinger A (1999) A foundational principle for quantum mechanics. Found Phys 29(4):631\u2013643. doi: 10.1023\/A:1018820410908","journal-title":"Found Phys"},{"key":"9241_CR92","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1038\/438743a","volume":"438","author":"A Zeilinger","year":"2005","unstructured":"Zeilinger A (2005) The message of the quantum. Nature 438:743. doi: 10.1038\/438743a","journal-title":"Nature"},{"key":"9241_CR93","volume-title":"Lectures on Polytopes","author":"GM Ziegler","year":"1994","unstructured":"Ziegler GM (1994) Lectures on polytopes. Springer, New York"},{"key":"9241_CR94","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1215\/S0012-7094-65-03224-2","volume":"32","author":"N Zierler","year":"1965","unstructured":"Zierler N, Schlessinger M (1965) Boolean embeddings of orthomodular sets and quantum logic. Duke Math J 32:251\u2013262","journal-title":"Duke Mathematical Journal"}],"container-title":["Natural Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9241-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11047-010-9241-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11047-010-9241-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T14:12:38Z","timestamp":1685887958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11047-010-9241-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,14]]},"references-count":95,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["9241"],"URL":"https:\/\/doi.org\/10.1007\/s11047-010-9241-x","relation":{},"ISSN":["1567-7818","1572-9796"],"issn-type":[{"value":"1567-7818","type":"print"},{"value":"1572-9796","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,14]]}}}