{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T01:34:20Z","timestamp":1781055260514,"version":"3.54.1"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2002,3]]},"DOI":"10.1023\/a:1015186718090","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T17:32:56Z","timestamp":1041096776000},"page":"271-296","source":"Crossref","is-referenced-by-count":12,"title":["Coherence in Substructural Categories"],"prefix":"10.1007","volume":"70","author":[{"given":"Zoran","family":"Petri\u0107","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"407885_CR1","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-017-2798-3_11","volume-title":"Proof Theory of Modal Logic","author":"K. Do\u0160en","year":"1996","unstructured":"Do\u0160en, K., and Z. Petri\u0106, 1996, 'Modal functional completeness', in Proof Theory of Modal Logic, H. Wansing (ed.), pp. 167-211, Kluwer Academic Publishers, Dordrecht."},{"issue":"1","key":"407885_CR2","doi-asserted-by":"crossref","first-page":"227","DOI":"10.2307\/2586761","volume":"64","author":"K. Do\u0160en","year":"1999","unstructured":"Do\u0160en, K., and Z. Petri\u0106, 1999, 'Cartesian isomorphisms are symmetric monoidal: a justification of linear logic', The Journal of Symbolic Logic 64,1, 227-242.","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"407885_CR3","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1002\/1521-3870(200101)47:1<137::AID-MALQ137>3.0.CO;2-F","volume":"47","author":"K. Do\u0160en","year":"2001","unstructured":"Do\u0160en, K., and Z. Petri\u0106, 2001, 'The maximality of cartesian categories', Mathematical Logic Quarterly 47,1, 137-144.","journal-title":"Mathematical Logic Quarterly"},{"key":"407885_CR4","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/BFb0059556","volume-title":"Coherence in Categories","author":"G. M. Kelly","year":"1972","unstructured":"Kelly, G. M., 1972, 'Many-variable functorial calculus I', in [8], pp. 66-105."},{"key":"407885_CR5","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/BFb0059557","volume-title":"Coherence in Categories","author":"G. M. Kelly","year":"1972","unstructured":"Kelly, G. M., 1972, 'An abstract approach to coherence', in [8], pp. 106-147."},{"issue":"1","key":"407885_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0022-4049(71)90013-2","volume":"1","author":"G. M. Kelly","year":"1971","unstructured":"Kelly, G. M., and S. MacLane, 1971, 'Coherence in closed categories', Journal of Pure and Applied Algebra 1,1, 97-140.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"407885_CR7","volume-title":"Introduction to Higher-Order Categorical Logic","author":"J. Lambek","year":"1986","unstructured":"Lambek, J., and P. J. Scott, 1986, Introduction to Higher-Order Categorical Logic, Cambridge University Press, Cambridge."},{"key":"407885_CR8","series-title":"Lecture Notes in Mathematics","volume-title":"Coherence in Categories","year":"1972","unstructured":"MacLane, S. (ed.), 1972, Coherence in Categories, Lecture Notes in Mathematics, 281, Springer-Verlag, Berlin-Heidelberg-New York."},{"key":"407885_CR9","first-page":"28","volume":"49","author":"S. MacLane","year":"1963","unstructured":"MacLane, S., 1963, 'Natural associativity and commutativity', Rice University Studies 49, 28-46.","journal-title":"Rice University Studies"},{"key":"407885_CR10","first-page":"252","volume-title":"Aktual'nye voprosy logiki i metodologii nauki","author":"G. E. Mints","year":"1980","unstructured":"Mints, G. E., 1980, 'Category theory and proof theory\u2019 (in Russian), in Aktual'nye voprosy logiki i metodologii nauki, Naukova Dumka, Kiev, pp. 252-278. (English translation, with permuted title, in: G. E. Mints, Selected Papers in Proof Theory, Bibliopolis, Naples, 1992.)"},{"key":"407885_CR11","series-title":"Studies in Logic and Computation","volume-title":"Substructural Logics","year":"1993","unstructured":"Schroeder-Heister, P., and K. Do\u0160en (eds.), 1993, Substructural Logics, Studies in Logic and Computation, 2, Clareadon Press, Oxford."},{"key":"407885_CR12","volume-title":"Basic Proof Theory","author":"A. S. Troelstra","year":"1996","unstructured":"Troelstra, A. S., and H. Schwichtenberg, 1996, Basic Proof Theory, Cambridge University Press, Cambridge."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015186718090.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015186718090\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015186718090.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:24:43Z","timestamp":1754630683000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015186718090"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["407885"],"URL":"https:\/\/doi.org\/10.1023\/a:1015186718090","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}