{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T10:25:55Z","timestamp":1751538355611,"version":"3.40.5"},"reference-count":23,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2023,7,20]],"date-time":"2023-07-20T00:00:00Z","timestamp":1689811200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2023,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper introduces the notion of logical quantale module. It proves that there is a dual equivalence between the category of logical quantale modules and the category of quantum B\u2010modules, in the way that every quantum B\u2010module admits a natural embedding into a logical quantale module, the enveloping quantale\u00a0module.<\/jats:p>","DOI":"10.1002\/malq.202200062","type":"journal-article","created":{"date-parts":[[2023,7,21]],"date-time":"2023-07-21T06:44:40Z","timestamp":1689921880000},"page":"446-459","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A categorical equivalence between logical quantale modules and quantum B\u2010modules"],"prefix":"10.1002","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5409-583X","authenticated-orcid":false,"given":"Xianglong","family":"Ruan","sequence":"first","affiliation":[{"name":"School of Mathematics and Statistics Xi'an Jiaotong University Xi'an China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaochuan","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Mathematics and Statistics Xi'an Jiaotong University Xi'an China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2023,7,20]]},"reference":[{"key":"e_1_2_6_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500000189"},{"volume-title":"Abstract and Concrete Categories: The Joy of Cats","year":"1990","author":"Ad\u00e1mek J.","key":"e_1_2_6_3_1"},{"key":"e_1_2_6_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-78948-4"},{"key":"e_1_2_6_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2018.05.011"},{"key":"e_1_2_6_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2022.09.004"},{"key":"e_1_2_6_7_1","doi-asserted-by":"publisher","DOI":"10.1142\/s0219498823502511"},{"key":"e_1_2_6_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"issue":"30","key":"e_1_2_6_9_1","first-page":"839","article-title":"Projectivity, continuity and adjointness: quantales, Q\u2010posets and Q\u2010modules","volume":"31","author":"Niefield S.","year":"2016","journal-title":"Theory Appl. Categ."},{"key":"e_1_2_6_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2006.09.002"},{"key":"e_1_2_6_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2014.01.005"},{"key":"e_1_2_6_12_1","series-title":"Habilitation thesis","volume-title":"Quantale Modules","author":"Paseka J.","year":"1999"},{"key":"e_1_2_6_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1003622828739"},{"key":"e_1_2_6_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(01)00156-6"},{"key":"e_1_2_6_15_1","first-page":"1881","article-title":"Quantum B\u2010algebras","volume":"11","author":"Rump W.","year":"2013","journal-title":"Cent. Eur. J. Math."},{"key":"e_1_2_6_16_1","first-page":"203","article-title":"The completion of a quantum B\u2010algebra","volume":"57","author":"Rump W.","year":"2016","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"key":"e_1_2_6_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-017-2570-2"},{"key":"e_1_2_6_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.10.007"},{"volume-title":"Quantale Modules, with Applications to Logic and Image Processing","year":"2007","author":"Russo R.","key":"e_1_2_6_19_1"},{"key":"e_1_2_6_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2012.09.006"},{"key":"e_1_2_6_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-008-2038-4"},{"issue":"14","key":"e_1_2_6_22_1","first-page":"283","article-title":"Categorical structures enriched in a quantaloid: tensored and cotensored categories","volume":"16","author":"Stubbe I.","year":"2006","journal-title":"Theory Appl. Categ."},{"key":"e_1_2_6_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2019.04.025"},{"key":"e_1_2_6_24_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.202100029"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.202200062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,19]],"date-time":"2023-12-19T10:57:57Z","timestamp":1702983477000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.202200062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,20]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,11]]}},"alternative-id":["10.1002\/malq.202200062"],"URL":"https:\/\/doi.org\/10.1002\/malq.202200062","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"type":"print","value":"0942-5616"},{"type":"electronic","value":"1521-3870"}],"subject":[],"published":{"date-parts":[[2023,7,20]]},"assertion":[{"value":"2022-10-18","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-06-13","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}