{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T01:02:13Z","timestamp":1775091733773,"version":"3.50.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030435196","type":"print"},{"value":"9783030435202","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-43520-2_18","type":"book-chapter","created":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T23:08:28Z","timestamp":1585696108000},"page":"286-301","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The Involutive Quantaloid of Completely Distributive Lattices"],"prefix":"10.1007","author":[{"given":"Luigi","family":"Santocanale","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,4,1]]},"reference":[{"key":"18_CR1","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0064579","volume-title":"$$\\ast $$-Autonomous Categories","author":"M Barr","year":"1979","unstructured":"Barr, M.: $$\\ast $$-Autonomous Categories. Lecture Notes in Mathematics, vol. 752. Springer, Berlin (1979). https:\/\/doi.org\/10.1007\/BFb0064579"},{"issue":"1\u20132","key":"18_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-3975(94)00089-2","volume":"139","author":"M Barr","year":"1995","unstructured":"Barr, M.: Nonsymmetric $${}^\\ast $$-autonomous categories. Theor. Comput. Sci. 139(1\u20132), 115\u2013130 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"18_CR3","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1134\/S0001434611090136","volume":"90","author":"AS Dzhumadil\u2019daev","year":"2011","unstructured":"Dzhumadil\u2019daev, A.S.: Worpitzky identity for multipermutations. Math. Notes 90(3), 448\u2013450 (2011)","journal-title":"Math. Notes"},{"key":"18_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-78948-4","volume-title":"Semigroups in Complete Lattices, Developments in Mathematics: Quantales, Modules and Related Topics","author":"P Eklund","year":"2018","unstructured":"Eklund, P., Guti\u00e9rrez Garc\u00eda, J., H\u00f6hle, U., Kortelainen, J.: Semigroups in Complete Lattices, Developments in Mathematics: Quantales, Modules and Related Topics, vol. 54. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-78948-4. With a foreword by Jimmie Lawson"},{"key":"18_CR5","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-030-02149-8_12","volume-title":"Relational and Algebraic Methods in Computer Science","author":"MJ Gouveia","year":"2018","unstructured":"Gouveia, M.J., Santocanale, L.: MIX $$\\star $$-autonomous quantales and the continuous weak order. In: Desharnais, J., Guttmann, W., Joosten, S. (eds.) RAMiCS 2018. LNCS, vol. 11194, pp. 184\u2013201. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02149-8_12"},{"issue":"1","key":"18_CR7","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0022-4049(89)90028-5","volume":"57","author":"DA Higgs","year":"1989","unstructured":"Higgs, D.A., Rowe, K.A.: Nuclearity in the category of complete semilattices. J. Pure Appl. Algebra 57(1), 67\u201378 (1989)","journal-title":"J. Pure Appl. Algebra"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1307\/mmj\/1028998976","volume":"10","author":"C Holland","year":"1963","unstructured":"Holland, C.: The lattice-ordered group of automorphisms of an ordered set. Michigan Math. J. 10, 399\u2013408 (1963)","journal-title":"Michigan Math. J."},{"issue":"2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1017\/S0013091500026936","volume":"17","author":"JM Howie","year":"1971","unstructured":"Howie, J.M.: Products of idempotents in certain semigroups of transformations. Proc. Edinburgh Math. Soc. 17(2), 223\u2013236 (1971)","journal-title":"Proc. Edinburgh Math. Soc."},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-319-57418-9_9","volume-title":"Relational and Algebraic Methods in Computer Science","author":"P Jipsen","year":"2017","unstructured":"Jipsen, P.: Relation algebras, idempotent semirings and generalized bunched implication algebras. In: H\u00f6fner, P., Pous, D., Struth, G. (eds.) RAMICS 2017. LNCS, vol. 10226, pp. 144\u2013158. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57418-9_9"},{"issue":"3","key":"18_CR11","doi-asserted-by":"publisher","first-page":"227","DOI":"10.4064\/fm-119-3-227-240","volume":"119","author":"MS Lambrou","year":"1983","unstructured":"Lambrou, M.S.: Completely distributive lattices. Fund. Math. 119(3), 227\u2013240 (1983)","journal-title":"Fund. Math."},{"issue":"1","key":"18_CR12","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s00233-005-0553-6","volume":"72","author":"A Laradji","year":"2006","unstructured":"Laradji, A., Umar, A.: Combinatorial results for semigroups of order-preserving full transformations. Semigroup Forum 72(1), 51\u201362 (2006)","journal-title":"Semigroup Forum"},{"key":"18_CR13","unstructured":"Meloni, G., Santocanale, L.: Relational semantics for distributive linear logic, August 1995, preprint. https:\/\/hal.archives-ouvertes.fr\/hal-01851509"},{"issue":"2","key":"18_CR14","doi-asserted-by":"publisher","first-page":"199","DOI":"10.4171\/JNCG\/90","volume":"6","author":"MC Protin","year":"2012","unstructured":"Protin, M.C., Resende, P.: Quantales of open groupoids. J. Noncommut. Geom. 6(2), 199\u2013247 (2012)","journal-title":"J. Noncommut. Geom."},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1090\/S0002-9939-1953-0058568-4","volume":"4","author":"GN Raney","year":"1953","unstructured":"Raney, G.N.: A subdirect-union representation for completely distributive complete lattices. Proc. Am. Math. Soc. 4, 518\u2013522 (1953)","journal-title":"Proc. Am. Math. Soc."},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1090\/S0002-9947-1960-0120171-3","volume":"97","author":"GN Raney","year":"1960","unstructured":"Raney, G.N.: Tight Galois connections and complete distributivity. Trans. Am. Math. Soc. 97, 418\u2013426 (1960)","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"18_CR17","first-page":"3","volume":"31","author":"KI Rosenthal","year":"1990","unstructured":"Rosenthal, K.I.: A note on Girard quantalesa. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 31(1), 3\u201311 (1990)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"18_CR18","series-title":"Pitman Research Notes in Mathematics Series","volume-title":"Quantales and Their Applications","author":"KI Rosenthal","year":"1990","unstructured":"Rosenthal, K.I.: Quantales and Their Applications. Pitman Research Notes in Mathematics Series, vol. 234. Longman Scientific & Technical, Harlow (1990)"},{"issue":"1","key":"18_CR19","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0960129500001146","volume":"2","author":"KI Rosenthal","year":"1992","unstructured":"Rosenthal, K.I.: Girard quantaloids. Math. Struct. Comput. Sci. 2(1), 93\u2013108 (1992)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"18_CR20","doi-asserted-by":"publisher","first-page":"227","DOI":"10.4153\/CMB-1988-035-5","volume":"31","author":"KA Rowe","year":"1988","unstructured":"Rowe, K.A.: Nuclearity. Canad. Math. Bull. 31(2), 227\u2013235 (1988)","journal-title":"Canad. Math. Bull."},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-030-28796-2_25","volume-title":"Combinatorics on Words","author":"L Santocanale","year":"2019","unstructured":"Santocanale, L.: On discrete idempotent paths. In: Merca\u015f, R., Reidenbach, D. (eds.) WORDS 2019. LNCS, vol. 11682, pp. 312\u2013325. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-28796-2_25"},{"key":"18_CR22","unstructured":"Santocanale, L., Gouveia, M.J.: The continuous weak order, December 2018, preprint. https:\/\/hal.archives-ouvertes.fr\/hal-01944759"},{"issue":"1\u20132","key":"18_CR23","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.tcs.2007.01.002","volume":"373","author":"I Stubbe","year":"2007","unstructured":"Stubbe, I.: Towards \u201cdynamic domains\u201d: totally continuous cocomplete $$Q$$-categories. Theor. Comput. Sci. 373(1\u20132), 142\u2013160 (2007)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-43520-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,5]],"date-time":"2024-03-05T19:03:37Z","timestamp":1709665417000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-43520-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030435196","9783030435202"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-43520-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"1 April 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Palaiseau","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ramics18.gforge.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"69% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}