{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T08:21:38Z","timestamp":1782807698720,"version":"3.54.5"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"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,8]]},"DOI":"10.1023\/a:1020525032763","type":"journal-article","created":{"date-parts":[[2003,3,18]],"date-time":"2003-03-18T15:12:43Z","timestamp":1048000363000},"page":"415-442","source":"Crossref","is-referenced-by-count":16,"title":["Proof Nets for the Multimodal Lambek Calculus"],"prefix":"10.1007","volume":"71","author":[{"given":"Richard","family":"Moot","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Quintijn","family":"Puite","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5098768_CR1","unstructured":"Danos, V.: 1990, \u2018La Logique Lin\u00e9aire Appliqu\u00e9e \u00e0 l'\u00e9tude de Divers Processus de Normalisation (Principalement du \u03bb-Calcul)'. Ph.D. thesis, University of Paris VII."},{"key":"5098768_CR2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01622878","volume":"28","author":"V. Danos","year":"1989","unstructured":"Danos, V. and L. Regnier: 1989, \u2018The Structure of Multiplicatives'. Archive for Mathematical Logic 28, 181-203.","journal-title":"Archive for Mathematical Logic"},{"issue":"1\u20132","key":"5098768_CR3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0304-3975(98)00309-0","volume":"224","author":"P. de Groote","year":"1999","unstructured":"de Groote, P.: 1999, \u2018An Algebraic Correctness Criterion for Intuitionistic Proof-nets'. Theoretical Computer Science 224(1\u20132), 115-134.","journal-title":"Theoretical Computer Science"},{"key":"5098768_CR4","unstructured":"de Groote, P. and F. Lamarche: 2002, \u2018Classical non-associative Lambek calculus'. Studia Logica, in this issue, 245-278."},{"key":"5098768_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: 1987, \u2018Linear Logic'. Theoretical Computer Science 50, 1-102.","journal-title":"Theoretical Computer Science"},{"key":"5098768_CR6","volume-title":"Logic and Algebra","author":"J.-Y. Girard","year":"1996","unstructured":"Girard, J.-Y.: 1996, \u2018Proof-Nets: The Parallel Syntax for Proof-Theory'. In: P. Agliana and A. Ursini (eds.): Logic and Algebra. New York: Marcel Dekker."},{"key":"5098768_CR7","doi-asserted-by":"crossref","unstructured":"Lafont, Y.: 1995, \u2018From Proof Nets to Interaction Nets'. In: J.-Y. Girard, Y. Lafont, and L. Regnier (eds.): Advances in Linear Logic. Cambridge University Press, pp. 225-247.","DOI":"10.1017\/CBO9780511629150.012"},{"key":"5098768_CR8","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: 1958, \u2018The Mathematics of Sentence Structure'. American Mathematical Monthly 65, 154-170.","journal-title":"American Mathematical Monthly"},{"key":"5098768_CR9","doi-asserted-by":"crossref","unstructured":"Lambek, J.: 1961, \u2018On the Calculus of Syntactic Types'. In: R. Jacobson (ed.): Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics, Vol. XII. pp. 166-178, American Mathematical Society.","DOI":"10.1090\/psapm\/012\/9972"},{"key":"5098768_CR10","doi-asserted-by":"crossref","unstructured":"Moortgat, M.: 1997, \u2018Categorial Type Logics'. In: J. van Benthem and A. ter Meulen (eds.): Handbook of Logic and Language. Elsevier\/MIT Press, Chapt. 2.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"5098768_CR11","unstructured":"Puite, Q.: 1998, \u2018Proof Nets with Explicit Negation for Multiplicative Linear Logic'. Technical report, Department of Mathematics, Utrecht University. Preprint 1079."},{"key":"5098768_CR12","unstructured":"Puite, Q.: 2001, \u2018Sequents and Link Graphs: Contraction Criteria for Refinements of Multiplicative Linear Logic\u2019. Ph.D. thesis, Department of Mathematics, Utrecht University."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020525032763.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020525032763\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020525032763.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:21:57Z","timestamp":1754630517000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020525032763"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,8]]}},"alternative-id":["5098768"],"URL":"https:\/\/doi.org\/10.1023\/a:1020525032763","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}