{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T10:55:32Z","timestamp":1774436132390,"version":"3.50.1"},"reference-count":17,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3114,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2005,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.<\/jats:p>","DOI":"10.2178\/jsl\/1122038911","type":"journal-article","created":{"date-parts":[[2005,7,22]],"date-time":"2005-07-22T18:43:56Z","timestamp":1122057836000},"page":"713-740","source":"Crossref","is-referenced-by-count":78,"title":["Canonical extensions and relational completeness of some substructural logics"],"prefix":"10.1017","volume":"70","author":[{"given":"J. Michael","family":"Dunn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mai","family":"Gehrke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200006769_ref017","first-page":"623","volume":"63","author":"MacCaull","year":"1998","journal-title":"Relational semantics and a relational proof system for full Lambek calculus"},{"key":"S0022481200006769_ref016","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019915908844"},{"key":"S0022481200006769_ref014","doi-asserted-by":"publisher","DOI":"10.2307\/2372123"},{"key":"S0022481200006769_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(96)00048-6"},{"key":"S0022481200006769_ref012","unstructured":"Gehrke M. and Priestley H. , MV-algebras and beyond: Canonicity, duality, and correspondence, manuscript in preparation."},{"key":"S0022481200006769_ref008","volume-title":"Transactions of the American Mathematical Society","author":"Gehrke","year":"2005"},{"key":"S0022481200006769_ref002","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012495106338"},{"key":"S0022481200006769_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(99)00040-8"},{"key":"S0022481200006769_ref006","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic Methods in Philosophical Logic","author":"Dunn","year":"2001"},{"key":"S0022481200006769_ref011","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.04.007"},{"key":"S0022481200006769_ref001","first-page":"514","volume":"58","author":"Allwein","year":"1993","journal-title":"A Kripke semantics for linear logic"},{"key":"S0022481200006769_ref005","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/oso\/9780198537779.003.0004","volume-title":"Substructural logics (T\u00fcbingen, 1990)","author":"Dunn","year":"1993"},{"key":"S0022481200006769_ref009","first-page":"207","article-title":"Bounded distributive lattices with operators","volume":"40","author":"Gehrke","year":"1994","journal-title":"Mathematica Jap\u00f3nica"},{"key":"S0022481200006769_ref010","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-14428"},{"key":"S0022481200006769_ref007","doi-asserted-by":"publisher","DOI":"10.1006\/jabr.2000.8622"},{"key":"S0022481200006769_ref004","first-page":"31","volume-title":"Logics in AI (European Workshop JELIA, Amsterdam)","author":"Dunn","year":"1990"},{"key":"S0022481200006769_ref015","doi-asserted-by":"publisher","DOI":"10.2307\/2372074"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200006769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,28]],"date-time":"2024-01-28T00:46:09Z","timestamp":1706402769000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200006769\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2005,9]]}},"alternative-id":["S0022481200006769"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1122038911","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,9]]}}}