{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T16:10:03Z","timestamp":1743351003676,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312618"},{"type":"electronic","value":"9783642312625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31262-5_11","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T04:54:04Z","timestamp":1339390444000},"page":"161-172","source":"Crossref","is-referenced-by-count":1,"title":["Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free"],"prefix":"10.1007","author":[{"given":"Zhe","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","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":"11_CR2","unstructured":"Bernardi, R.: Reasoning with Polarity in Categorial Type Logic. PhD thesis, Utrecht (2002)"},{"key":"11_CR3","first-page":"507","volume":"34","author":"W. Buszkowski","year":"1986","unstructured":"Buszkowski, W.: Generative Capacity of Nonassociative Lambek Calculus. Bulletin of Polish Academy of Sciences: Math\u00a034, 507\u2013516 (1986)","journal-title":"Bulletin of Polish Academy of Sciences: Math"},{"key":"11_CR4","unstructured":"Buszkowski, W.: Lambek Calculus with Nonlogical Axioms. In: Casadio, C., Scott, P., Seely, R. (eds.) Languages and Grammars Studies in Mathematical Linguistics and Natural Language. CSLI Lectures Notes, vol.\u00a0168, pp. 77\u201393 (2005)"},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1093\/jigpal\/jzp094","volume":"19","author":"W. Buszkowski","year":"2011","unstructured":"Buszkowski, W.: Interpolation and FEP for logic of residuated algebras. Logic Journal of the IGPL\u00a019(3), 437\u2013454 (2011)","journal-title":"Logic Journal of the IGPL"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-642-01748-3_4","volume-title":"Languages: From Formal to Natural","author":"W. Buszkowski","year":"2009","unstructured":"Buszkowski, W., Farulewski, M.: Nonassociative Lambek Calculus with Additives and Context-Free Languages. In: Grumberg, O., Kaminski, M., Katz, S., Wintner, S. (eds.) Francez Festschrift. LNCS, vol.\u00a05533, pp. 45\u201358. Springer, Heidelberg (2009)"},{"key":"11_CR7","unstructured":"Heylen, D.: Types and Sorts Resource Logic for Feature Cheking. PhD thesis, Utrecht (1999)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1023\/A:1024512212054","volume":"1","author":"G. J\u00e4ger","year":"2003","unstructured":"J\u00e4ger, G.: On the generative capacity of multi-modal categorial grammars. Research on Language and Computation\u00a01, 105\u2013125 (2003)","journal-title":"Research on Language and Computation"},{"key":"11_CR9","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 Informationn\u00a013, 47\u201359 (2004)","journal-title":"Journal of Logic, Language and Informationn"},{"issue":"2","key":"11_CR10","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":"11_CR11","first-page":"34","volume":"52","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\u00a052, 34\u201341 (1988)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"11_CR12","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":"11_CR13","doi-asserted-by":"crossref","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Structure of Language and Its Mathematical Aspects, pp. 168\u2013178. American Mathematical Society (1961)","DOI":"10.1090\/psapm\/012\/9972"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-642-13089-2_35","volume-title":"Language and Automata Theory and Applications","author":"Z. Lin","year":"2010","unstructured":"Lin, Z.: Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness. In: Dediu, A.-H., Fernau, H., Mart\u00edn-Vide, C. (eds.) LATA 2010. LNCS, vol.\u00a06031, pp. 414\u2013425. Springer, Heidelberg (2010)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF00159344","volume":"5","author":"M. Moortgat","year":"1996","unstructured":"Moortgat, M.: Multimodal linguistic inference. Journal of Logic, Language and Information\u00a05, 349\u2013385 (1996)","journal-title":"Journal of Logic, Language and Information"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Moortgat, M.: Categorial types logic. In: van Benthem, J., ter Meulen, A. (eds.) Hand Book of Logic and Language, pp. 93\u2013177. Elsevier (1997)","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Morrill, G.: Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press (2011)","DOI":"10.1093\/oxfordhb\/9780199544004.013.0004"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Pentus, M.: Lambek grammars are context free. In: Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science, pp. 429\u2013433 (1993)","DOI":"10.1109\/LICS.1993.287565"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.tcs.2007.07.027","volume":"388","author":"A. Plummer","year":"2007","unstructured":"Plummer, A.: S4 enriched multimodal categorial grammars are context-free. Theoretical Computer Science\u00a0388, 173\u2013180 (2007)","journal-title":"Theoretical Computer Science"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1016\/j.tcs.2008.02.042","volume":"403","author":"A. Plummer","year":"2008","unstructured":"Plummer, A.: S4 enriched multimodal categorial grammars are context-free: corrigendum. Theoretical Computer Science\u00a0403, 406\u2013408 (2008)","journal-title":"Theoretical Computer Science"},{"key":"11_CR21","unstructured":"Versmissen, J.: Grammatical Composition: Modes, Models, Modalities. PhD thesis, Universiteit Utrecht (1996)"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31262-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T15:54:20Z","timestamp":1743350060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31262-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312618","9783642312625"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31262-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}