{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T08:21:36Z","timestamp":1782807696981,"version":"3.54.5"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"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":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1023\/a:1008399708659","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"211-232","source":"Crossref","is-referenced-by-count":18,"title":["Linguistic Applications of First Order Intuitionistic Linear Logic"],"prefix":"10.1007","volume":"10","author":[{"given":"Richard","family":"Moot","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mario","family":"Piazza","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"257298_CR1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1002\/malq.19900360103","volume":"36","author":"V.M. Abrusci","year":"1990","unstructured":"Abrusci, V.M., 1990, \u201cA comparison between Lambek syntactic calculus and intuitionistic linear propositional logic,\u201d Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\n                  36, 11\u201315.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"257298_CR2","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-60983-0_5","volume-title":"Proceedings of the Fifth International Workshop on Extensions of Logic Programming'96","author":"I. Cervesato","year":"1996","unstructured":"Cervesato, I., Hodas, J.S., and Pfenning, F., 1996, \u201cEfficient resource management for linear logic proof search,\u201d pp. 67\u201381 in Proceedings of the Fifth International Workshop on Extensions of Logic Programming'96, R. Dyckhoff, H. Herre, and P. Schroeder-Heister, eds., Leipzig: Springer-Verlag."},{"key":"257298_CR3","volume-title":"Proceedings of CLNLP","author":"M. Dalrymple","year":"1995","unstructured":"Dalrymple, M., Lamping, J., Pereira, F., and Saraswat, V., 1995, \u201cLinear logic for meaning assembly,\u201d in Proceedings of CLNLP, Edinburgh, South Queensferry: ELSNET."},{"key":"257298_CR4","unstructured":"Danos, V., 1990, \u201cLa logique lin\u00e9aire appliqu\u00e9e \u00e0 l'\u00e9tude de divers processus de normalisation et principalement du lambda-calcul,\u201d Th\u00e8se de Doctorat, Universit\u00e9 de Paris VII."},{"key":"257298_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y., 1987, \u201cLinear logic,\u201d Theoretical Computer Science\n                  50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"257298_CR6","volume-title":"Nuovi problemi della logica e della filosofia della scienza, Volume II","author":"J.-Y. Girard","year":"1991","unstructured":"Girard, J.-Y., 1991, \u201cQuantifiers in linear logic II,\u201d in Nuovi problemi della logica e della filosofia della scienza, Volume II, G. Corsi and G. Sambin, eds., Bologna, Italy: CLUEB."},{"key":"257298_CR7","series-title":"London Mathematical Society Lecture Notes","volume-title":"Advances in Linear Logic","year":"1995","unstructured":"Girard, J.-Y., Lafont, Y., and Regnier, L., eds., 1995, Advances in Linear Logic, London Mathematical Society Lecture Notes, Cambridge: Cambridge University Press."},{"key":"257298_CR8","first-page":"622","volume-title":"Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming","author":"J. Hodas","year":"1992","unstructured":"Hodas, J., 1992, \u201cSpecifying filler-gap dependency parsers in a linear-logic programming language,\u201d pp. 622\u2013636 in Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, K. Apt, ed., Cambridge, MA: MIT Press."},{"key":"257298_CR9","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J. Hodas","year":"1994","unstructured":"Hodas, J. and Miller, D., 1994, \u201cLogic programming in a fragment of intuitionistic linear logic,\u201d Information and Computation\n                  110, 327\u2013365.","journal-title":"Information and Computation"},{"key":"257298_CR10","unstructured":"Kurtonina, N., 1995, \u201cFrames and labels. A modal analysis of categorial inference,\u201d Ph.D. Thesis, OTS Utrecht, ILLC Amsterdam."},{"key":"257298_CR11","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J., 1958, \u201cThe mathematics of sentence structure,\u201d American Mathematical Monthly\n                  65, 154\u2013170.","journal-title":"American Mathematical Monthly"},{"key":"257298_CR12","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1090\/psapm\/012\/9972","volume-title":"Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics XII","author":"J. Lambek","year":"1961","unstructured":"Lambek, J., 1961, \u201cOn the calculus of syntactic types,\u201d pp. 166\u2013178 in Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics XII, R. Jacobson, ed., Providence, RI: American Mathematical Society."},{"key":"257298_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1017\/CBO9780511629150.006","volume-title":"Advances in Linear Logic","author":"P. Lincoln","year":"1995","unstructured":"Lincoln, P., 1995, \u201cDeciding provability of linear logic formulas,\u201d pp. 109\u2013122 in Advances in Linear Logic, J.-Y. Girard, Y. Lafont, and L. Regnier, eds., Cambridge: Cambridge University Press."},{"key":"257298_CR14","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0304-3975(94)00107-3","volume":"135","author":"P. Lincoln","year":"1994","unstructured":"Lincoln, P. and Scedrov, A., 1994, \u201cFirst order linear logic without modalities is NEXPTIME-hard,\u201d Theoretical Computer Science\n                  135, 139\u2013154.","journal-title":"Theoretical Computer Science"},{"key":"257298_CR15","first-page":"247","volume-title":"Approaches to Natural Language","author":"R. Montague","year":"1973","unstructured":"Montague, R., 1973, \u201cThe proper treatment of quantification in ordinary English,\u201d pp. 247\u2013270 in Approaches to Natural Language, J. Moravcsik et al., eds., Dordrecht: Reidel."},{"key":"257298_CR16","volume-title":"Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus","author":"M. Moortgat","year":"1988","unstructured":"Moortgat, M., 1988, Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus, Dordrecht: Foris."},{"key":"257298_CR17","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/B978-044481714-3\/50005-9","volume-title":"Handbook of Logic and Language","author":"M. Moortgat","year":"1997","unstructured":"Moortgat, M., 1997, \u201cCategorial type logics,\u201d pp. 93\u2013177 in Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds., Amsterdam: Elsevier."},{"key":"257298_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type Logical Grammar","author":"G. Morrill","year":"1994","unstructured":"Morrill, G., 1994, Type Logical Grammar, Dordrecht: Kluwer Academic Publishers."},{"key":"257298_CR19","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/BF00985321","volume":"17","author":"R. Oehrle","year":"1994","unstructured":"Oehrle, R., 1994, \u201cTerm-labeled categorial type systems,\u201d Linguistics & Philosophy\n                  17, 633\u2013678.","journal-title":"Linguistics & Philosophy"},{"key":"257298_CR20","doi-asserted-by":"crossref","first-page":"270","DOI":"10.3115\/982023.982056","volume-title":"Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics","author":"R. Pareschi","year":"1988","unstructured":"Pareschi, R., 1988, \u201cA definite clause version of categorial grammar,\u201d pp. 270\u2013277 in Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics, Buffalo, NY: SUNY."},{"key":"257298_CR21","first-page":"429","volume-title":"Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science","author":"M. Pentus","year":"1995","unstructured":"Pentus, M., 1995, \u201cLambek grammars are context free,\u201d pp. 429\u2013433 in Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, New York: IEEE."},{"key":"257298_CR22","doi-asserted-by":"publisher","first-page":"648","DOI":"10.2307\/2275553","volume":"62","author":"M. Pentus","year":"1997","unstructured":"Pentus, M., 1997, \u201cProduct-free Lambek calculus and context-free grammars,\u201d Journal of Symbolic Logic\n                  62, 648\u2013660.","journal-title":"Journal of Symbolic Logic"},{"key":"257298_CR23","volume-title":"Prolog and Natural Language Analysis","author":"F. Pereira","year":"1987","unstructured":"Pereira, F. and Shieber, S., 1987, Prolog and Natural Language Analysis, Stanford, CA: CSLI."},{"key":"257298_CR24","volume-title":"Language in Action: Categories, Lambdas and Dynamic Logic","author":"J. Van Benthem","year":"1995","unstructured":"Van Benthem, J., 1995, Language in Action: Categories, Lambdas and Dynamic Logic, Cambridge, MA: MIT Press."},{"key":"257298_CR25","volume-title":"Handbook of Logic and Language","year":"1997","unstructured":"Van Benthem, J. and ter Meulen, A., eds., 1997, Handbook of Logic and Language, Amsterdam: Elsevier."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008399708659.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008399708659\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008399708659.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:29:34Z","timestamp":1749724174000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008399708659"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["257298"],"URL":"https:\/\/doi.org\/10.1023\/a:1008399708659","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}