{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T10:55:36Z","timestamp":1774436136045,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2020,9,11]],"date-time":"2020-09-11T00:00:00Z","timestamp":1599782400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,11]],"date-time":"2020-09-11T00:00:00Z","timestamp":1599782400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2021,5]]},"DOI":"10.1007\/s00153-020-00749-0","type":"journal-article","created":{"date-parts":[[2020,9,11]],"date-time":"2020-09-11T21:02:32Z","timestamp":1599858152000},"page":"329-341","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Quantum logic is undecidable"],"prefix":"10.1007","volume":"60","author":[{"given":"Tobias","family":"Fritz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,11]]},"reference":[{"issue":"4","key":"749_CR1","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37(4), 823\u2013843 (1936)","journal-title":"Ann. Math."},{"key":"749_CR2","volume-title":"Handbook of quantum logic and quantum structures\u2014quantum logic","year":"2009","unstructured":"Engesser, K., Gabbay, D.M., Lehmann, D. (eds.): Handbook of quantum logic and quantum structures\u2014quantum logic. Elsevier, London (2009)"},{"key":"749_CR3","volume-title":"Orthomodular lattices. London Mathematical Society Monographs","author":"G Kalmbach","year":"1983","unstructured":"Kalmbach, G.: Orthomodular lattices. London Mathematical Society Monographs, vol. 18. Academic Press Inc, London (1983)"},{"key":"749_CR4","doi-asserted-by":"publisher","DOI":"10.1142\/0206","volume-title":"Measures and Hilbert lattices","author":"G Kalmbach","year":"1986","unstructured":"Kalmbach, G.: Measures and Hilbert lattices. World Scientific, Singapore (1986)"},{"key":"749_CR5","volume-title":"Quantum Logic. Springer Series in Discrete Mathematics and Theoretical Computer Science","author":"K Svozil","year":"1998","unstructured":"Svozil, K.: Quantum Logic. Springer Series in Discrete Mathematics and Theoretical Computer Science. Springer, Berlin (1998)"},{"key":"749_CR6","first-page":"439","volume":"37","author":"C Piron","year":"1964","unstructured":"Piron, C.: Axiomatique quantique. Helv. Phys. Acta 37, 439\u2013468 (1964)","journal-title":"Helv. Phys. Acta"},{"key":"749_CR7","doi-asserted-by":"crossref","unstructured":"Amemiya, I., Araki, H.: A remark on Piron\u2019s paper. Publ. Res. Inst. Math. Sci. Ser. A 2, 423\u2013427 (1966\/7)","DOI":"10.2977\/prims\/1195195769"},{"key":"749_CR8","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1090\/S0002-9947-1977-0468710-X","volume":"233","author":"WJ Wilbur","year":"1977","unstructured":"Wilbur, W.J.: On characterizing the standard quantum logics. Trans. Am. Math. Soc. 233, 265\u2013282 (1977)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"749_CR9","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1080\/00927879508825218","volume":"23","author":"MP Sol\u00e8r","year":"1995","unstructured":"Sol\u00e8r, M.P.: Characterization of Hilbert spaces by orthomodular spaces. Commun. Algebra 23(1), 219\u2013243 (1995)","journal-title":"Commun. Algebra"},{"key":"749_CR10","doi-asserted-by":"crossref","unstructured":"Stubbe, I., Van Steirteghem, B.: Propositional systems, Hilbert lattices and generalized Hilbert spaces. In: Handbook of Quantum Logic and Quantum Structures, pp. 477\u2013523. Elsevier Sci. B. V., Amsterdam (2007). arXiv:0710.2098","DOI":"10.1016\/B978-044452870-4\/50033-9"},{"issue":"7","key":"749_CR11","doi-asserted-by":"publisher","first-page":"1335","DOI":"10.1007\/s00023-009-0019-6","volume":"10","author":"ND Megill","year":"2010","unstructured":"Megill, N.D., Pavi\u010di\u0107, M.: Hilbert lattice equations. Ann. Henri Poincar\u00e9 10(7), 1335\u20131358 (2010)","journal-title":"Ann. Henri Poincar\u00e9"},{"key":"749_CR12","unstructured":"Megill, N.: Quantum logic explorer home page. http:\/\/us.metamath.org\/qlegif\/mmql.html (2014)"},{"key":"749_CR13","unstructured":"Mal\u2019cev, A.I.: Algebraic systems. In: Smirnov, D., Ta\u012dclin, M. (eds.) Posthumous Edition. Springer, New York (1973). Translated from the Russian by B. D. Seckler and A. P. Doohovskoy, Die Grundlehren der mathematischen Wissenschaften, Band 192"},{"key":"749_CR14","unstructured":"Bravyi, S.: Efficient algorithm for a quantum analogue of 2-SAT. arXiv:quant-ph\/0602108"},{"issue":"1\u20132","key":"749_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.physrep.2011.05.001","volume":"506","author":"Y-C Liang","year":"2011","unstructured":"Liang, Y.-C., Spekkens, R.W., Wiseman, H.M.: Specker\u2019s parable of the over-protective seer: a road to contextuality, nonlocality and complementarity. Phys. Rep. 506(1\u20132), 1\u201339 (2011)","journal-title":"Phys. Rep."},{"key":"749_CR16","unstructured":"Slofstra, W.: Tsirelson\u2019s problem and an embedding theorem for groups arising from non-local games. J. Am. Math. Soc. Page to appear. arXiv:1606.03140"},{"issue":"1","key":"749_CR17","doi-asserted-by":"publisher","first-page":"012202","DOI":"10.1063\/1.4973422","volume":"58","author":"R Cleve","year":"2017","unstructured":"Cleve, R., Liu, L., Slofstra, W.: Perfect commuting-operator strategies for linear system games. J. Math. Phys. 58(1), 012202 (2017). arXiv:1606.02278","journal-title":"J. Math. Phys."},{"key":"749_CR18","doi-asserted-by":"crossref","unstructured":"Cleve, R., Mittal, R.: Characterization of binary constraint system games. In: Automata, Languages, and Programming, Lecture Notes in Computer Science, vol. 8572. Springer, Berlin (2014). arXiv:1209.2729","DOI":"10.1007\/978-3-662-43948-7_27"},{"issue":"2","key":"749_CR19","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/s00220-014-2260-1","volume":"334","author":"A Ac\u00edn","year":"2015","unstructured":"Ac\u00edn, A., Fritz, T., Leverrier, A., Sainz, A.B.: A combinatorial approach to nonlocality and contextuality. Commun. Math. Phys. 334(2), 533\u2013628 (2015). arXiv:1212.4084","journal-title":"Commun. Math. Phys."},{"key":"749_CR20","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1090\/S0002-9947-1974-0364040-2","volume":"193","author":"L Lipshitz","year":"1974","unstructured":"Lipshitz, L.: The undecidability of the word problems for projective geometries and modular lattices. Trans. Am. Math. Soc. 193, 171\u2013180 (1974)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"749_CR21","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/PL00000328","volume":"37","author":"MAEH Sherif","year":"1997","unstructured":"Sherif, M.A.E.H.: Decision problem for orthomodular lattices. Algebra Universalis 37(1), 70\u201376 (1997)","journal-title":"Algebra Universalis"},{"issue":"3","key":"749_CR22","doi-asserted-by":"publisher","first-page":"1102","DOI":"10.2178\/jsl\/1278682219","volume":"75","author":"C Herrmann","year":"2010","unstructured":"Herrmann, C.: On the equational theory of projection lattices of finite von Neumann factors. J. Symb. Log. 75(3), 1102\u20131110 (2010)","journal-title":"J. Symb. Log."},{"issue":"2","key":"749_CR23","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/2869073","volume":"63","author":"C Herrmann","year":"2016","unstructured":"Herrmann, C., Ziegler, M.: Computational complexity of quantum satisfiability. J. ACM 63(2), 19 (2016)","journal-title":"J. ACM"},{"key":"749_CR24","doi-asserted-by":"crossref","unstructured":"Atserias, A., Kolaitis, P.G., Severini, S.: Generalized satisfiability problems via operator assignments (2017). arXiv:1704.01736","DOI":"10.1007\/978-3-662-55751-8_6"},{"key":"749_CR25","unstructured":"Fritz. T.: Curious properties of free hypergraph c*-algebras. J. Oper. Theory. Page to appear. arXiv:1808.09220"},{"issue":"3\u20134","key":"749_CR26","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0375-9601(90)90172-K","volume":"151","author":"A Peres","year":"1990","unstructured":"Peres, A.: Incompatible results of quantum measurements. Phys. Lett. A 151(3\u20134), 107\u2013108 (1990)","journal-title":"Phys. Lett. A"},{"key":"749_CR27","doi-asserted-by":"publisher","first-page":"3373","DOI":"10.1103\/PhysRevLett.65.3373","volume":"65","author":"ND Mermin","year":"1990","unstructured":"Mermin, N.D.: Simple unified form for the major no-hidden-variables theorems. Phys. Rev. Lett. 65, 3373 (1990)","journal-title":"Phys. Rev. Lett."},{"key":"749_CR28","volume-title":"$$C^{\\ast } $$-Algebras and their Automorphism Groups, London Mathematical Society Monographs","author":"GK Pedersen","year":"1979","unstructured":"Pedersen, G.K.: $$C^{\\ast } $$-Algebras and their Automorphism Groups, London Mathematical Society Monographs, vol. 14. Academic Press, Cambridge (1979)"},{"key":"749_CR29","doi-asserted-by":"publisher","first-page":"4265","DOI":"10.1090\/S0002-9939-2014-12170-8","volume":"142","author":"T Fritz","year":"2014","unstructured":"Fritz, T., Netzer, T., Thom, A.: Can you compute the operator norm? Proc. Am. Math. Soc. 142, 4265\u20134276 (2014). arXiv:1207.0975","journal-title":"Proc. Am. Math. Soc."},{"key":"749_CR30","volume-title":"Model Theory, Encyclopedia of Mathematics and Its Applications","author":"W Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory, Encyclopedia of Mathematics and Its Applications, vol. 42. Cambridge University Press, Cambridge (1993)"},{"key":"749_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9026-6","volume-title":"Quantum Logic in Algebraic Approach","author":"M R\u00e9dei","year":"1998","unstructured":"R\u00e9dei, M.: Quantum Logic in Algebraic Approach. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"749_CR32","doi-asserted-by":"publisher","DOI":"10.1142\/1524","volume-title":"Randomness and Undecidability in Physics","author":"K Svozil","year":"1993","unstructured":"Svozil, K.: Randomness and Undecidability in Physics. World Scientific Publishing Co., Inc., River Edge (1993)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00749-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-020-00749-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-020-00749-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,11]],"date-time":"2021-09-11T00:56:37Z","timestamp":1631321797000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-020-00749-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,11]]},"references-count":32,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2021,5]]}},"alternative-id":["749"],"URL":"https:\/\/doi.org\/10.1007\/s00153-020-00749-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,11]]},"assertion":[{"value":"11 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 September 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 September 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}