{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T17:43:33Z","timestamp":1693503813077},"reference-count":14,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":5490,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1999,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects (i.e., a graph without arrows) can be written in terms of arrows from the symmetric monoidal category freely generated by the same set of objects. This proof yields an algorithm for deciding whether an arrow in this free cartesian category is an isomorphism.<\/jats:p>","DOI":"10.2307\/2586761","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:02:25Z","timestamp":1146938545000},"page":"227-242","source":"Crossref","is-referenced-by-count":2,"title":["Cartesian isomorphisms are symmetric monoidal: A justification of linear logic"],"prefix":"10.1017","volume":"64","author":[{"given":"Kosta","family":"Do\u0161en","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Petri\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200014006_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059557"},{"key":"S0022481200014006_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"S0022481200014006_ref013","unstructured":"Petri\u0107 Z. , Coherence in substructural categories, to appear, 1997."},{"key":"S0022481200014006_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2572-0"},{"key":"S0022481200014006_ref006","volume-title":"Substructural logics","author":"Do\u0161en","year":"1993"},{"key":"S0022481200014006_ref007","first-page":"19","article-title":"Neue Fassung des Widerspruchsfreiheitsbeweises f\u00fcr die reine Zahlentheorie","volume":"4","author":"Gentzen","year":"1938","journal-title":"Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften (N.S.)"},{"key":"S0022481200014006_ref014","first-page":"174","article-title":"The category of finite sets and cartesian closed categories","volume":"105","author":"Soloviev","year":"1981","journal-title":"Zapiski Nauchnykh Seminarov LOMI"},{"key":"S0022481200014006_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/BF00260931"},{"key":"S0022481200014006_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059556"},{"key":"S0022481200014006_ref011","doi-asserted-by":"publisher","DOI":"10.1017\/S0027763000018055"},{"key":"S0022481200014006_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2798-3_11"},{"key":"S0022481200014006_ref003","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635154"},{"key":"S0022481200014006_ref012","first-page":"252","volume-title":"Aktual'nye voprosy logiki i metodologii nauki","author":"Mints","year":"1980"},{"key":"S0022481200014006_ref001","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001444"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200014006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T19:06:56Z","timestamp":1557515216000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200014006\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["S0022481200014006"],"URL":"https:\/\/doi.org\/10.2307\/2586761","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}