{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:20:59Z","timestamp":1758979259018},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642017476"},{"type":"electronic","value":"9783642017483"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01748-3_4","type":"book-chapter","created":{"date-parts":[[2009,5,21]],"date-time":"2009-05-21T04:18:28Z","timestamp":1242879508000},"page":"45-58","source":"Crossref","is-referenced-by-count":22,"title":["Nonassociative Lambek Calculus with Additives and Context-Free Languages"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Buszkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Farulewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A. Avron","year":"1988","unstructured":"Avron, A.: The Semantics and Proof Theory of Linear Logic. Theoretical Computer Science\u00a057, 161\u2013184 (1988)","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1023\/B:STUD.0000037127.15182.2a","volume":"77","author":"F. Belardinelli","year":"2004","unstructured":"Belardinelli, F., Jipsen, P., Ono, H.: Algebraic Aspects of Cut Elimination. Studia Logica\u00a077, 209\u2013240 (2004)","journal-title":"Studia Logica"},{"key":"4_CR3","volume-title":"Language in Action: Categories, Lambdas and Dynamic Logic","author":"J. Benthem van","year":"1991","unstructured":"van Benthem, J.: Language in Action: Categories, Lambdas and Dynamic Logic. North-Holland, Amsterdam (1991)"},{"volume-title":"Handbook of Logic and Language","year":"1997","key":"4_CR4","unstructured":"van Benthem, J., ter Meulen, A. (eds.): Handbook of Logic and Language. Elsevier, Amsterdam (1997)"},{"issue":"10","key":"4_CR5","doi-asserted-by":"publisher","first-page":"4141","DOI":"10.1090\/S0002-9947-04-03654-2","volume":"357","author":"W.J. Blok","year":"2005","unstructured":"Blok, W.J., van Alten, C.J.: On the finite embeddability property for residuated ordered groupoids. Transactions of AMS\u00a0357(10), 4141\u20134157 (2005)","journal-title":"Transactions of AMS"},{"key":"4_CR6","first-page":"31","volume":"131","author":"W. Buszkowski","year":"1984","unstructured":"Buszkowski, W.: A note on the Lambek - van Benthem calculus. Bulletin of The Section of Logic\u00a0131, 31\u201337 (1984)","journal-title":"Bulletin of The Section of Logic"},{"key":"4_CR7","first-page":"507","volume":"34","author":"W. Buszkowski","year":"1986","unstructured":"Buszkowski, W.: Generative Capacity of Nonassociative Lambek Calculus. Bull. Polish Acad. Scie. Math.\u00a034, 507\u2013516 (1986)","journal-title":"Bull. Polish Acad. Scie. Math."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Buszkowski, W.: Mathematical Linguistics and Proof Theory. In: [4], pp. 683\u2013736","DOI":"10.1016\/B978-044481714-3\/50016-3"},{"key":"4_CR9","series-title":"Studies in Mathematical Linguistics and Natural Language","first-page":"77","volume-title":"Language and Grammar","author":"W. Buszkowski","year":"2005","unstructured":"Buszkowski, W.: Lambek Calculus with Nonlogical Axioms. In: Casadio, C., Scott, P.J., Seely, R. (eds.) Language and Grammar. Studies in Mathematical Linguistics and Natural Language, pp. 77\u201393. CSLI Publications, Stanford (2005)"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1093\/logcom\/exl036","volume":"17","author":"W. Buszkowski","year":"2007","unstructured":"Buszkowski, W.: On Action Logic: Equational Theories of Action Algebras. Journal of Logic and Computation\u00a017(1), 199\u2013217 (2007)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR11","first-page":"25","volume":"43","author":"M. Farulewski","year":"2008","unstructured":"Farulewski, M.: Finite Embeddabilty Property for Residuated Groupoids. Reports on Mathematical Logic\u00a043, 25\u201342 (2008)","journal-title":"Reports on Mathematical Logic"},{"issue":"2-3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s11225-007-9088-z","volume":"87","author":"N. Francez","year":"2007","unstructured":"Francez, N., Kaminski, M.: Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages. Studia Logica\u00a087(2-3), 295\u2013321 (2007)","journal-title":"Studia Logica"},{"key":"4_CR13","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N. Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)"},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1023\/A:1020520915016","volume":"71","author":"P. Groote de","year":"2002","unstructured":"de Groote, P., Lamarche, F.: Classical Nonassociative Lambek Calculus. Studia Logica\u00a071(2), 355\u2013388 (2002)","journal-title":"Studia Logica"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1023\/A:1026175817625","volume":"13","author":"G. J\u00e4ger","year":"2004","unstructured":"J\u00e4ger, G.: Residuation, structural rules and context-freeness. Journal of Logic, Language and Information\u00a013, 47\u201359 (2004)","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"4_CR16","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF00171695","volume":"1","author":"M. Kanazawa","year":"1992","unstructured":"Kanazawa, M.: The Lambek Calculus Enriched with Additional Connectives. Journal of Logic, Language and Information\u00a01(2), 141\u2013171 (1992)","journal-title":"Journal of Logic, Language and Information"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1002\/malq.19880340106","volume":"34","author":"M. Kandulski","year":"1988","unstructured":"Kandulski, M.: The equivalence of nonassociative Lambek categorial grammars and context-free grammars. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik\u00a034, 41\u201352 (1988)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly\u00a065, 154\u2013170 (1958)","journal-title":"American Mathematical Monthly"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1090\/psapm\/012\/9972","volume-title":"Structure of Language and Its Mathematical Aspects","author":"J. Lambek","year":"1961","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of Language and Its Mathematical Aspects, pp. 166\u2013178. AMS, Providence (1961)"},{"key":"4_CR20","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48975-4_1","volume-title":"Logical Aspects of Computational Linguistics","author":"J. Lambek","year":"1999","unstructured":"Lambek, J.: Type Grammars Revisited. In: Lecomte, A., Perrier, G., Lamarche, F. (eds.) LACL 1997. LNCS (LNAI), vol.\u00a01582, pp. 1\u201327. Springer, Heidelberg (1999)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Moortgat, M.: Categorial Type Logic. In: [4], pp. 93\u2013177","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"4_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type Logical Grammar. Categorial Logic of Signs","author":"G. Morrill","year":"1994","unstructured":"Morrill, G.: Type Logical Grammar. Categorial Logic of Signs. Kluwer, Dordrecht (1994)"},{"key":"4_CR23","doi-asserted-by":"publisher","first-page":"790","DOI":"10.2307\/2586501","volume":"64","author":"M. Okada","year":"1999","unstructured":"Okada, M., Terui, K.: The finite model property for various fragments of intuitionistic linear logic. Journal of Symbolic Logic\u00a064, 790\u2013802 (1999)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Pentus, M.: Lambek Grammars are Context-Free. In: Proc. 8th IEEE Symp. Logic in Computer Sci., pp. 429\u2013433 (1993)","DOI":"10.1109\/LICS.1993.287565"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.tcs.2006.03.018","volume":"357","author":"M. Pentus","year":"2006","unstructured":"Pentus, M.: Lambek calculus is NP-complete. Theoretical Computer Science\u00a0357, 186\u2013201 (2006)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Languages: From Formal to Natural"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01748-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T04:03:10Z","timestamp":1558324990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01748-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642017476","9783642017483"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01748-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}