{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:40Z","timestamp":1725559000502},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540257837"},{"type":"electronic","value":"9783540319535"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11422532_5","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T02:15:43Z","timestamp":1278987343000},"page":"67-83","source":"Crossref","is-referenced-by-count":0,"title":["On the Selective Lambek Calculus"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"da S. Corr\u00eaa","sequence":"first","affiliation":[]},{"given":"E. Hermann","family":"Haeusler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Abrusci, V.M.: A Comparison between Lambek Syntactic Calculus and Intuitionistic Linear Propositional Logic. Zeitschr. f. Math. Logik und Grundlagen d. Math. 36, 11-15 (1990)"},{"key":"5_CR2","unstructured":"van Benthem, J.: The semantics of variety in categorial gramar. Report 83-29, Simon Fraser University, Burnaby (B.C) Canada (Revised version in [3]) (1983)"},{"key":"5_CR3","doi-asserted-by":"crossref","DOI":"10.1075\/llsee.25","volume-title":"Categorial Grammar","author":"W. Buszkowski","year":"1988","unstructured":"Buszkowski, W., Marciszewski, W., van Benthen, J.: Categorial Grammar. John Benjamins, Amsterdam (1988)"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1002\/malq.19970430107","volume":"43","author":"M. Corr\u00eaa","year":"1997","unstructured":"Corr\u00eaa, M., Da, S., Haeusler, E.H.: A concrete categorical model for the Lambek Calculus. Mathematical Logic Quarterly (Formerly Zeitschr. f. Math. Logik und Grundlagen d. Math.)\u00a043, 49\u201359 (1997)","journal-title":"Mathematical Logic Quarterly (Formerly Zeitschr. f. Math. Logik und Grundlagen d. Math.)"},{"key":"5_CR5","unstructured":"Corr\u00eaa, M., Da, S., Haeusler, E. H.: Selective Lambek Syntactic Calculus. In: Proceedings of the 5th Workshop on Logic, Language, Information and Computation. S\u00e3o Paulo, pp. 39-46. Abstract appeared in the Conference Report published in Vol 6, N. 6, of the Logic Journal of the IGPL (July 1998)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF00671566","volume":"47","author":"K. Do\u0161en","year":"1988","unstructured":"Do\u0161en, K.: Sequent systems and groupoid models. Studia Logica\u00a047, 353\u2013385 (1988); Studia Logica 48, 41-65 (1989)","journal-title":"Studia Logica"},{"issue":"4","key":"5_CR7","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","volume":"5","author":"J.M. Dunn","year":"1997","unstructured":"Dunn, J.M., Meyer, R.K.: Combinators and structurally free logic. Logic Journal of the IGPL\u00a05(4), 505\u2013537 (1997)","journal-title":"Logic Journal of the IGPL"},{"key":"5_CR8","unstructured":"Heple, M.: A general framework for hybrid substructural categorial logics. Ms.IRCS Penn, Available as IRCS Report 94-14"},{"key":"5_CR9","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 Math. Monthly\u00a065, 154\u2013169 (1958)","journal-title":"American Math. Monthly"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Structure of Language and its Mathematical Aspects. Proceedings of 12th Symp. Appl.Math., American Math. Soc., Providence,R.I, 166-178 (1961)","DOI":"10.1090\/psapm\/012\/9972"},{"key":"5_CR11","doi-asserted-by":"crossref","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 34, 41-52 (1988)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1002\/malq.19950410208","volume":"65","author":"M. Kandulski","year":"1995","unstructured":"Kandulski, M.: On commutative and nonassociative syntactic calculi and categorial grammars. Mathematical Logic Quarterly\u00a065, 217\u2013235 (1995)","journal-title":"Mathematical Logic Quarterly"},{"key":"5_CR13","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":"5_CR14","volume-title":"Handbook of Logic and Language, ch.2","author":"M. Moortgat","year":"1997","unstructured":"Moortgat, M.: Categorial Type Logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, ch.2. North Holland Elsevier, Amsterdam (1997)"},{"key":"5_CR15","doi-asserted-by":"crossref","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. Kuwer, Dordrecht (1994)"},{"key":"5_CR16","volume-title":"Proocedings of 8th Annual IEEE Symposium on Logic in Computer Science","author":"M. Pentus","year":"1993","unstructured":"Pentus, M.: Lambek grammars are context-free. In: Proocedings of 8th Annual IEEE Symposium on Logic in Computer Science. IEEE, New York (1993)"},{"key":"5_CR17","volume-title":"Proof Theory","author":"G. Takeuti","year":"1975","unstructured":"Takeuti, G.: Proof Theory. North Holland, Amsterdan (1975)"}],"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\/11422532_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:54:21Z","timestamp":1558295661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11422532_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540257837","9783540319535"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11422532_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}