{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T21:15:14Z","timestamp":1648847714149},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T00:00:00Z","timestamp":1195171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2007,12,6]]},"DOI":"10.1007\/s11225-007-9084-3","type":"journal-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T08:46:10Z","timestamp":1195116370000},"page":"199-224","source":"Crossref","is-referenced-by-count":8,"title":["Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition"],"prefix":"10.1007","volume":"87","author":[{"given":"Denis","family":"B\u00e9chet","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,11,16]]},"reference":[{"issue":"4","key":"9084_CR1","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.2307\/2275485","volume":"56","author":"Michele Abrusci","year":"1991","unstructured":"Abrusci Michele, (December 1991). \u2018Phase semantics and sequent calculus for pure non-commutative classical linear logic\u2019. Journal of Symbolic Logic 56(4):1403\u20131451","journal-title":"Journal of Symbolic Logic"},{"key":"9084_CR2","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1017\/S096012959800262X","volume":"8","author":"Denis B\u00e9chet","year":"1998","unstructured":"B\u00e9chet Denis, (1998). \u2018Minimality of the correctness criterion for multiplicative proof nets\u2019. Mathematical Structures in Computer Science 8:543\u2013558","journal-title":"Mathematical Structures in Computer Science"},{"key":"9084_CR3","unstructured":"B\u00e9chet, Denis, \u2018Incremental parsing of Lambek calculus using proof-net interfaces\u2019, in ACL\/SIGPARSE (ed.), Proceedings of the Eigth International Workshop on Parsing Technologies, Nancy, France, April 2003, INRIA, April 2003, pp. 31\u201342."},{"key":"9084_CR4","doi-asserted-by":"crossref","unstructured":"Buszkowski, Wojciech, \u2018Lambek grammars based on pregroups\u2019, in Philippe de Groote, Glyn Morill, and Christian Retor\u00e9 (eds.), Logical aspects of computational linguistics: 4th International Conference, LACL 2001, Le Croisic, France, June 2001, volume 2099, Springer-Verlag, 2001.","DOI":"10.1007\/3-540-48199-0_6"},{"key":"9084_CR5","unstructured":"Buszkowski, Wojciech, and Katarzyna Moroz, \u2018PTIME transformation of pregroup grammar into cfg and pda\u2019, 37th Pozna\u0144 Linguistic Meeting (PLM), Pozna\u0144, 2006."},{"key":"9084_CR6","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01622878","volume":"28","author":"Vincent Danos","year":"1989","unstructured":"Danos Vincent, Laurent Regnier, (1989). \u2018The structure of multiplicatives\u2019. Archive for Mathematical Logic 28:181\u2013203","journal-title":"Archive for Mathematical Logic"},{"key":"9084_CR7","doi-asserted-by":"crossref","unstructured":"de Groote, Philippe, \u2018A dynamic programming approach to categorial deduction\u2019, Conference on Automated Deduction, CADE\u201899, Lecture Notes in Artificial Intelligence, Springer-Verlag, July 1999.","DOI":"10.1007\/3-540-48660-7_1"},{"issue":"1","key":"9084_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"Jean-Yves Girard","year":"1987","unstructured":"Girard Jean-Yves, (1987). \u2018Linear logic\u2019. Theoretical Computer Science 50(1):1\u2013102","journal-title":"Theoretical Computer Science"},{"key":"9084_CR9","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"Joachim Lambek","year":"1958","unstructured":"Lambek Joachim, (1958). \u2018The mathematics of sentence structure\u2019. American Mathematical Monthly 65:154\u2013170","journal-title":"American Mathematical Monthly"},{"key":"9084_CR10","doi-asserted-by":"crossref","unstructured":"Lambek, Joachim, \u2018Type grammars revisited\u2019, in Alain Lecomte, Fran\u00e7ois Lamarche and Guy Perrier (eds.), Logical aspects of computational linguistics: Second International Conference, LACL \u201997, Nancy, France, September 22\u201324, 1997; selected papers, volume 1582, Springer-Verlag, 1999.","DOI":"10.1007\/3-540-48975-4_1"},{"key":"9084_CR11","unstructured":"Lambek, Joachim, \u2018Mathematics and the mind\u2019, in V.M. Abrusci and C. Casadio (eds.), New Perspectives in Logic and Formal Linguisitics, Proceedings Vth ROMA Workshop, Bulzoni Editore, 2001."},{"key":"9084_CR12","unstructured":"Lecomte, Alain, and Christian Retor\u00e9, \u2018Words as modules and modules as partial proof nets in a lexicalised grammar\u2019, in Michele Abrusci and Claudia Casadio (eds.), Third Roma Workshop: Proofs and Linguistics Categories \u2014 Applications of Logic to the analysis and implementation of Natural Language, Bologna:CLUEB, 1996, pp. 187\u2013198."},{"key":"9084_CR13","doi-asserted-by":"crossref","unstructured":"Lecomte, Alain, and Christian Retor\u00e9, \u2018Words as modules: a lexicalised grammar in the framework of linear logic proof nets\u2019, in Carlos Martin-Vide (ed.), Mathematical and Computational Analysis of Natural Language \u2014 selected papers from ICML\u201896, volume 45 of Studies in Functional and Structural Linguistics, John Benjamins publishing company, 1998, pp. 129\u2013144.","DOI":"10.1075\/sfsl.45.14lec"},{"key":"9084_CR14","unstructured":"Morrill, Glyn V., \u2018Memoisation of categorial proof nets: parallelism in categorial processing\u2019, in Third Roma Workshop: Proofs and Linguistics Categories \u2014 Applications of Logic to the analysis and implementation of Natural Language, Bologna:CLUEB, 1996."},{"key":"9084_CR15","unstructured":"Pentus, Mati, \u2018Lambek grammars are context-free\u2019, in Logic in Computer Science, IEEE Computer Society Press, 1993."},{"issue":"(2","key":"9084_CR16","doi-asserted-by":"crossref","first-page":"648","DOI":"10.2307\/2275553","volume":"62","author":"Mati Pentus","year":"1997","unstructured":"Pentus Mati, (1997). \u2018Product-free Lambek calculus and context-free grammars\u2019. Journal of Symbolic Logic 62 (2):648\u2013660","journal-title":"Journal of Symbolic Logic"},{"key":"9084_CR17","unstructured":"Roorda, Dirk, Resource logics: Proof-theoretical investigations, Phd thesis, University of Amsterdam, 1991."},{"key":"9084_CR18","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2274953","volume":"55","author":"N. Yetter David","year":"1990","unstructured":"Yetter David N., (1990). \u2018Quantales and (non-commutative) linear logic\u2019. Journal of Symbolic Logic 55:41\u201364","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9084-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-007-9084-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-007-9084-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:42Z","timestamp":1559384682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-007-9084-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,16]]},"references-count":18,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2007,12,6]]}},"alternative-id":["9084"],"URL":"https:\/\/doi.org\/10.1007\/s11225-007-9084-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11,16]]}}}