{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T03:08:55Z","timestamp":1778209735781,"version":"3.51.4"},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T00:00:00Z","timestamp":1717632000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T00:00:00Z","timestamp":1717632000000},"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":["20CZX048"],"award-info":[{"award-number":["20CZX048"]}],"id":[{"id":"10.13039\/501100012456","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1007\/s11225-024-10120-6","type":"journal-article","created":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T08:02:21Z","timestamp":1717660941000},"page":"741-779","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Enriched Quantales Arising from Complete Orthomodular Lattices"],"prefix":"10.1007","volume":"113","author":[{"given":"Soroush Rafiee","family":"Rad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6031-0359","authenticated-orcid":false,"given":"Joshua","family":"Sack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shengyang","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,6]]},"reference":[{"key":"10120_CR1","doi-asserted-by":"publisher","unstructured":"Abramsky, S., and S. Vickers, Quantales, observational logic and process semantics, Mathematical Structures in Computer Science 3:161\u2013227, 1993; https:\/\/doi.org\/10.1017\/S0960129500000189","DOI":"10.1017\/S0960129500000189"},{"key":"10120_CR2","doi-asserted-by":"crossref","unstructured":"Baltag, A., and S. Smets, Complete Axiomatizations for Quantum Actions, International Journal of Theoretical Physics 44(12):2267\u20132282, 2005.","DOI":"10.1007\/s10773-005-8022-2"},{"key":"10120_CR3","doi-asserted-by":"publisher","unstructured":"Brown, C., and D. Gurr, A representation theorem for quantales, Journal of Pure and Applied Algebra 85(1):27\u201342, 1993; https:\/\/doi.org\/10.1016\/0022-4049(93)90169-T","DOI":"10.1016\/0022-4049(93)90169-T"},{"key":"10120_CR4","doi-asserted-by":"publisher","unstructured":"Coecke, B., and S. Smets, The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes, International Journal of Theoretical Physics 43(7\u20138):1705\u20131736, 2004; https:\/\/doi.org\/10.1023\/B:IJTP.0000048815.92983.6e","DOI":"10.1023\/B:IJTP.0000048815.92983.6e"},{"key":"10120_CR5","doi-asserted-by":"publisher","unstructured":"Kishida, K., S. Rafiee\u00a0Rad, J. Sack, and S. Zhong, Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices, International Journal of Theoretical Physics 56:4060\u20134072, 2017; https:\/\/doi.org\/10.1007\/s10773-017-3433-4","DOI":"10.1007\/s10773-017-3433-4"},{"key":"10120_CR6","doi-asserted-by":"crossref","unstructured":"Sasaki, U., Orthocomplemented Lattices Satisfying the Exchange Axiom, Journal of Science Hiroshima University A17:293\u2013302, 1954.","DOI":"10.32917\/hmj\/1557281141"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10120-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10120-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10120-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T08:43:20Z","timestamp":1751013800000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10120-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,6]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["10120"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10120-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,6,6]]},"assertion":[{"value":"18 September 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 June 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}