{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:39:01Z","timestamp":1742942341101,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657514"},{"type":"electronic","value":"9783540489757"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48975-4_3","type":"book-chapter","created":{"date-parts":[[2007,8,9]],"date-time":"2007-08-09T18:28:27Z","timestamp":1186684107000},"page":"54-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars"],"prefix":"10.1007","author":[{"given":"Maciej","family":"Kandulski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,22]]},"reference":[{"key":"3_CR1","first-page":"57","volume-title":"Frege Conference 1984","author":"W. Buszkowski","year":"1984","unstructured":"BuszkowskiW., Fregean grammar and residuated semigroup. In: Frege Conference 1984, (G. WECHSUNG, ed.). Akademie-Verlag, Berlin 1984, 57\u201362."},{"key":"3_CR2","first-page":"495","volume":"34","author":"W. Buszkowski","year":"1986","unstructured":"Buszkowski, W., Typed functorial languages. Bulletin of the Polish Academy of Sciences: Mathematics 34 (1986), 495\u2013505.","journal-title":"Bulletin of the Polish Academy of Sciences: Mathematics"},{"key":"3_CR3","first-page":"507","volume":"34","author":"W. Buszkowski","year":"1986","unstructured":"Buszkowski, W., Generative capacity of nonassociative Lambek calculus. Bulletin of the Polish Academy of Sciences: Mathematics 34 (1986), 507\u2013516.","journal-title":"Bulletin of the Polish Academy of Sciences: Mathematics"},{"key":"3_CR4","unstructured":"Buszkowski, W., Logical Foundations of Ajdukiewicz-Lambek Categorial Grammars. Polish Scientific Publishers, Warszawa 1989 (in Polish)."},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1075\/llsee.25.11kan","volume-title":"Categorial Grammar","author":"M. Kandulski","year":"1988","unstructured":"Kandulski, M., The non-associative Lambek calculus. In: Categorial Grammar, (W. Buszkowski, W. Marciszewski, J. VAN Benthem, eds.). J. Benjamins, Amsterdam 1988, 141\u2013151."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1002\/malq.19880340413","volume":"34","author":"M. Kandulski","year":"1988","unstructured":"Kandulski, M., Phrase structure languages generated by categorial grammars with product. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 34 (1988), 373\u2013383.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"169","DOI":"10.3233\/FI-1997-30204","volume":"30","author":"M. Kandulski","year":"1997","unstructured":"Kandulski, M., On generalized Ajdukiewicz and Lambek calculi and grammars. Fundamenta Informaticae 30 (1997), 169\u2013181.","journal-title":"Fundamenta Informaticae"},{"key":"3_CR8","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: Structure of Language and Its Mathematical Aspects (JACOBSON, R., ed.). Amer. Math. Soc., Providence, R.I., 1961, 166\u2013178."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1002\/malq.19970430108","volume":"43","author":"M. Ko\u0142owska-Gawiejnowicz","year":"1997","unstructured":"Ko\u0142owska-Gawiejnowicz, M., Powerset residuated algebras and generalized Lambek calculus. Mathematical Logic Quarterly 43 (1997), 60\u201372.","journal-title":"Mathematical Logic Quarterly"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Moortgat, M., Categorial type logics. In: Handbook of Logic and Language (J. VAN BENTHEM and A. TER MEULEN, eds.). Elsevier and The MIT Press, 1997.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"3_CR11","unstructured":"Oehrle, R., Zhang, S., Lambek calculus and extractions of subjects. In: Proceedings of the 25th Meeting of the Chicago Linguistic Society. University of Chicago, Department of Linguistics, 1989."}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48975-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T13:03:15Z","timestamp":1587819795000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48975-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657514","9783540489757"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48975-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"22 May 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}