{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:14:55Z","timestamp":1725891295987},"publisher-location":"Berlin, Heidelberg","reference-count":9,"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_16","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T04:54:04Z","timestamp":1339390444000},"page":"229-233","source":"Crossref","is-referenced-by-count":1,"title":["On the Completeness of Lambek Calculus with Respect to Cofinite Language Models"],"prefix":"10.1007","author":[{"given":"Alexey","family":"Sorokin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1002\/malq.19820281407","volume":"28","author":"W. Buszkowski","year":"1982","unstructured":"Buszkowski, W.: Compatibility of a Categorial Grammar with an Associated Category System. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik\u00a028, 229\u2013237 (1982)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1002\/malq.19820283308","volume":"28","author":"W. Buszkowski","year":"1982","unstructured":"Buszkowski, W.: Some Decision Problems in the Theory of Syntactic Categories. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik\u00a028, 539\u2013548 (1982)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BF00370837","volume":"57","author":"W. Buszkowski","year":"1996","unstructured":"Buszkowski, W.: The finite model property for BCI and related systems. Studia Logica\u00a057, 303\u2013323 (1996)","journal-title":"Studia Logica"},{"issue":"1","key":"16_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1002\/1521-3870(200201)48:1<63::AID-MALQ63>3.0.CO;2-E","volume":"48","author":"W. Buszkowski","year":"2002","unstructured":"Buszkowski, W.: Finite Models of Some Substructural Logics. Math. Log. Q.\u00a048(1), 63\u201372 (2002)","journal-title":"Math. Log. Q."},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s11225-005-6776-4","volume":"80","author":"M. Farulewski","year":"2005","unstructured":"Farulewski, M.: On the Finite Models of the Lambek Calculus. Studia Logica\u00a080, 63\u201374 (2005)","journal-title":"Studia Logica"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"1202","DOI":"10.2307\/2275637","volume":"62","author":"Y. Lafont","year":"1997","unstructured":"Lafont, Y.: The Finite Model Property for Various Fragments of Linear Logic. Journal of Symbolic Logic\u00a062, 1202\u20131208 (1997)","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"16_CR7","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 Journal\u00a065(3), 154\u2013170 (1958)","journal-title":"American Mathematical Journal"},{"issue":"2","key":"16_CR8","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 Intuinistic Linear Logic. The Journal of Symbolic Logic\u00a064(2), 790\u2013802 (1999)","journal-title":"The Journal of Symbolic Logic"},{"issue":"1\u20132","key":"16_CR9","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0168-0072(94)00063-9","volume":"75","author":"M. Pentus","year":"1995","unstructured":"Pentus, M.: Models for the Lambek calculus. The Annals of Pure and Applied Logic\u00a075(1\u20132), 179\u2013213 (1995)","journal-title":"The Annals of Pure and Applied Logic"}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:54:02Z","timestamp":1620129242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31262-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312618","9783642312625"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31262-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}