{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T15:12:41Z","timestamp":1784560361731,"version":"3.55.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T00:00:00Z","timestamp":1733961600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T00:00:00Z","timestamp":1733961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100012456","name":"National Social Science Fund of China","doi-asserted-by":"publisher","award":["No.20CZX048"],"award-info":[{"award-number":["No.20CZX048"]}],"id":[{"id":"10.13039\/501100012456","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1007\/s00236-024-00472-w","type":"journal-article","created":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T12:49:21Z","timestamp":1734007761000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence"],"prefix":"10.1007","volume":"62","author":[{"given":"Shengyang","family":"Zhong","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,12,12]]},"reference":[{"key":"472_CR1","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-39992-3_9","volume-title":"Logic, Language, Information, and Computation","author":"A Baltag","year":"2013","unstructured":"Baltag, A., Bergfeld, J., Kishida, K., et al.: Quantum probabilistic dyadic second-order logic. In: Libkin, L., Kohlenbach, U., de Queiroz, R. (eds.) Logic, Language, Information, and Computation, pp. 64\u201380. Springer, Berlin (2013)"},{"key":"472_CR2","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, 823\u2013843 (1936)","journal-title":"Ann. Math."},{"key":"472_CR3","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.fss.2015.09.002","volume":"298","author":"ML Dalla Chiara","year":"2016","unstructured":"Dalla Chiara, M.L., Giuntini, R., Leporini, R., Sergioli, G.: A first-order epistemic quantum computational semantics with relativistic-like epistemic effects. Fuzzy Sets Syst. 298, 69\u201390 (2016)","journal-title":"Fuzzy Sets Syst."},{"key":"472_CR4","volume-title":"Logic for Mathematicians, revised edn","author":"A Hamilton","year":"1978","unstructured":"Hamilton, A.: Logic for Mathematicians, revised edn. Cambridge University Press, Cambridge (1978)"},{"key":"472_CR5","doi-asserted-by":"crossref","unstructured":"Takeuti, G.: Quantum set theory. In: Current Issues in Quantum Logic, pp. 303\u2013322. Plenum Press (1981)","DOI":"10.1007\/978-1-4613-3228-2_19"},{"key":"472_CR6","doi-asserted-by":"crossref","unstructured":"Weaver, N.: Mathematical quantization. Studies in Advanced Mathematics, Chapman & Hall\/CRC (2001)","DOI":"10.1201\/9781420036237"},{"key":"472_CR7","first-page":"81","volume":"215","author":"N Weaver","year":"2012","unstructured":"Weaver, N.: Quantum relations. Mem. Am. Math. Soc. 215, 81\u2013140 (2012)","journal-title":"Mem. Am. Math. Soc."},{"key":"472_CR8","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.tcs.2005.04.001","volume":"344","author":"M Ying","year":"2005","unstructured":"Ying, M.: A theory of computation based on quantum logic (I). Theor. Comput. Sci. 344, 134\u2013207 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"472_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2049706.2049708","volume":"33","author":"M Ying","year":"2011","unstructured":"Ying, M.: Floyd-Hoare logic for quantum programs. ACM Trans. Program. Lang. Syst. 33(6), 1\u201349 (2011)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"472_CR10","volume-title":"Foundations of Quantum Programming","author":"M Ying","year":"2016","unstructured":"Ying, M.: Foundations of Quantum Programming. Elsevier, Cambridge (2016)"},{"key":"472_CR11","unstructured":"Ying, M.: Birkhoff\u2013von Neumann quantum logic as an assertion language for quantum programs (2022). arXiv:2205.01959"}],"updated-by":[{"DOI":"10.1007\/s00236-025-00477-z","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T00:00:00Z","timestamp":1738108800000}}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-024-00472-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00236-024-00472-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-024-00472-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:47:54Z","timestamp":1743126474000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00236-024-00472-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,12]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,3]]}},"alternative-id":["472"],"URL":"https:\/\/doi.org\/10.1007\/s00236-024-00472-w","relation":{"correction":[{"id-type":"doi","id":"10.1007\/s00236-025-00477-z","asserted-by":"object"}]},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,12]]},"assertion":[{"value":"29 February 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 December 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2025","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Update","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"\u201cThe original online version of this article was revised: due to the incorrect title in the article\u201d.","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 January 2025","order":7,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":8,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"A Correction to this paper has been published:","order":9,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"https:\/\/doi.org\/10.1007\/s00236-025-00477-z","URL":"https:\/\/doi.org\/10.1007\/s00236-025-00477-z","order":10,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"7"}}