{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:01:06Z","timestamp":1709823666576},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"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":[[2005,6]]},"DOI":"10.1007\/s11225-005-6776-4","type":"journal-article","created":{"date-parts":[[2005,8,23]],"date-time":"2005-08-23T22:55:58Z","timestamp":1124837758000},"page":"63-74","source":"Crossref","is-referenced-by-count":6,"title":["On Finite Models of the Lambek Calculus"],"prefix":"10.1007","volume":"80","author":[{"given":"Maciej","family":"Farulewski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6776_CR1","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1002\/malq.19820283308","volume":"28","author":"W. BUSZKOWSKI","year":"1982","unstructured":"BUSZKOWSKI, W., \u2018Some decision problems in the theory of syntactic categories\u2019, Zeitschrift f\u00fcr mathematische Logic and Grundlagen der Mathematik 28 (1982), 539\u2013548.","journal-title":"Zeitschrift f\u00fcr mathematische Logic and Grundlagen der Mathematik"},{"key":"6776_CR2","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/BF00370837","volume":"57","author":"W. BUSZKOWSKI","year":"1996","unstructured":"BUSZKOWSKI, W., \u2018The finite model property for BCI and related systems\u2019, Studia Logica 57(1996), 303\u2013323.","journal-title":"Studia Logica"},{"issue":"1","key":"6776_CR3","doi-asserted-by":"crossref","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., \u2018Finite Models of Some Substructural Logics\u2019, Mathematical Logic Quarterly 48,1 (2002), 63\u201372.","journal-title":"Mathematical Logic Quarterly"},{"key":"6776_CR4","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1002\/malq.19850311405","volume":"31","author":"K. DO\u0160EN","year":"1985","unstructured":"DO\u0160EN,K., \u2018A Completeness theorem for the Lambek calculus of syntactic categories\u2019, Zeitschriftf\u00fcr mathematische Logic and Grundlagen der Mathematik 31 (1985), 235\u2013241.","journal-title":"Zeitschriftf\u00fcr mathematische Logic and Grundlagen der Mathematik"},{"key":"6776_CR5","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.2307\/2275637","volume":"62","author":"Y. ALFONT","year":"1997","unstructured":"LAFONT,Y., \u2018The finite model property for various fragments of linear logic\u2019, Journal of Symbolic Logic 62 (1997), 1202\u20131208.","journal-title":"Journal of Symbolic Logic"},{"key":"6776_CR6","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. LAMBEK","year":"1958","unstructured":"LAMBEK,J., \u2018The mathematics of sentence structure\u2019, American Mathematical Monthly 65(1958), 154\u2013170.","journal-title":"American Mathematical Monthly"},{"key":"6776_CR7","doi-asserted-by":"crossref","unstructured":"LAMBEK,J., \u2018On the calculus of syntactic types\u2019, in R. Jacobson, (ed.), Structure of Languageand Its Mathematical Aspects, American Mathematical Society, 1961, pp. 166\u2013178.","DOI":"10.1090\/psapm\/012"},{"key":"6776_CR8","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF01053025","volume":"53","author":"R.K. MEYER","year":"1994","unstructured":"MEYER,R.K., and H. ONO, \u2018The finite model property for BCK and BCIW\u2019, Studia Logica 53(1994), 107\u2013118.","journal-title":"Studia Logica"},{"issue":"2","key":"6776_CR9","doi-asserted-by":"crossref","first-page":"780","DOI":"10.2307\/2586501","volume":"64","author":"M. OKADA","year":"1999","unstructured":"OKADA,M., and K. TERUI, \u2018The finite model property for various fragments of intuitionistic linear logic\u2019, Journal of Symbolic Logic 64, 2 (1999), 780\u2013802.","journal-title":"Journal of Symbolic Logic"},{"key":"6776_CR10","unstructured":"ONO, H., \u2018Substructural logics and residuated lattices \u2014 an introduction\u2019, in V.F. Hendricks and J. Malinowski, (eds.), Trends in Logic: 50 Years of Studia Logica, Kluwer, 2002, pp. 177\u2013212."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-6776-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-6776-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-6776-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:39Z","timestamp":1559370279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-6776-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["6776"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-6776-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}