{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:18:33Z","timestamp":1740147513426,"version":"3.37.3"},"reference-count":23,"publisher":"Informa UK Limited","issue":"2","funder":[{"DOI":"10.13039\/501100000155","name":"Social Sciences and Humanities Research Council of Canada","doi-asserted-by":"publisher","award":["756-2014-0108"],"award-info":[{"award-number":["756-2014-0108"]}],"id":[{"id":"10.13039\/501100000155","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["RO 4548\/4-1"],"award-info":[{"award-number":["RO 4548\/4-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2019,4,3]]},"DOI":"10.1080\/11663081.2018.1547513","type":"journal-article","created":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T01:29:56Z","timestamp":1553822996000},"page":"121-151","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Monoidal logics: completeness and classical systems"],"prefix":"10.1080","volume":"29","author":[{"given":"Clayton","family":"Peterson","sequence":"first","affiliation":[{"name":"Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2019,3,28]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19900360103"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19900360405"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/BF00284976"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.11.005"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.012"},{"issue":"1","key":"CIT0006","first-page":"15","volume":"36","author":"Buszkowski W.","year":"2006","journal-title":"Linguistic Analysis"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(95)00160-3"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-011-0254-7"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu068"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/6.3.451"},{"journal-title":"Fuzzy Sets and Systems","year":"2018","author":"Greco G.","key":"CIT0015"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90146-5"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1958.11989160"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1007\/BF01703261"},{"volume-title":"Introduction to higher order categorical logic","year":"1986","author":"Lambek J.","key":"CIT0026"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-014-0111-7"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2016.1179528"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.4324\/9780203252642"},{"volume-title":"Algebra of proofs","year":"1978","author":"Szabo M. E.","key":"CIT0037"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/ext035"},{"issue":"5","key":"CIT0040","first-page":"1044","volume":"32","author":"Yankov V. A.","year":"1968","journal-title":"Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2018.1547513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T03:33:38Z","timestamp":1557459218000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2018.1547513"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,28]]},"references-count":23,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2019,3,28]]},"published-print":{"date-parts":[[2019,4,3]]}},"alternative-id":["10.1080\/11663081.2018.1547513"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2018.1547513","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2019,3,28]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2017-06-21","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-10-23","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-03-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}