{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:00:54Z","timestamp":1725566454830},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314810"},{"type":"electronic","value":"9783642314827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31482-7_24","type":"book-chapter","created":{"date-parts":[[2012,6,23]],"date-time":"2012-06-23T09:04:29Z","timestamp":1340442269000},"page":"230-239","source":"Crossref","is-referenced-by-count":27,"title":["Polarities in Logic and Semantics"],"prefix":"10.1007","author":[{"given":"Arno","family":"Bastenhof","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-22221-4_3","volume-title":"Logical Aspects of Computational Linguistics","author":"A. Bastenhof","year":"2011","unstructured":"Bastenhof, A.: Polarized Classical Non-associative Lambek Calculus and Formal Semantics. In: Pogodalla, S., Prost, J.-P. (eds.) LACL 2011. LNCS, vol.\u00a06736, pp. 33\u201348. Springer, Heidelberg (2011)"},{"issue":"4","key":"24_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"N.D. Belnap","year":"1982","unstructured":"Belnap, N.D.: Display logic. Journal of Philosophical Logic\u00a011(4), 375\u2013417 (1982)","journal-title":"Journal of Philosophical Logic"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1023\/A:1020520915016","volume":"71","author":"P. Groote De","year":"2002","unstructured":"De Groote, P., Lamarche, F.: Classical non associative Lambek calculus. Studia Logica\u00a071, 355\u2013388 (2002)","journal-title":"Studia Logica"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Gamut, L.T.F.: Logic, Language and Meaning. Intensional Logic and Logical Grammar, vol.\u00a02. University of Chicago Press (1991)","DOI":"10.7208\/chicago\/9780226791708.001.0001"},{"issue":"3","key":"24_CR5","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1017\/S0960129500001328","volume":"1","author":"J.-Y. Girard","year":"1991","unstructured":"Girard, J.-Y.: A new constructive logic: classical logic. Mathematical Structures in Computer Science\u00a01(3), 255\u2013296 (1991)","journal-title":"Mathematical Structures in Computer Science"},{"key":"24_CR6","unstructured":"Hendriks, H.: Studied flexibility. Categories and types in syntax and semantics. PhD thesis, ILLC Amsterdam (1993)"},{"key":"24_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 Monthly\u00a065, 154\u2013169 (1958)","journal-title":"American Mathematical Monthly"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Proceedings of the Twelfth Symposium in Applied Mathematics, Structure of Language and its Mathematical Aspects (1961)","DOI":"10.1090\/psapm\/012\/9972"},{"issue":"3","key":"24_CR9","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R. Montague","year":"1970","unstructured":"Montague, R.: Universal grammar. Theoria\u00a036(3), 373\u2013398 (1970)","journal-title":"Theoria"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Moortgat, M.: Categorial type logics. In: Handbook of Logic and Language, pp. 93\u2013177. Elsevier (1997)","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"24_CR11","unstructured":"Moortgat, M.: Symmetric categorial grammar: residuation and Galois connections. CoRR, abs\/1008.0170 (2010)"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1515\/9783110852820.361","volume-title":"Meaning, Use, and Interpretation of Language","author":"B. Partee","year":"1983","unstructured":"Partee, B., Rooth, M.: Generalized conjunction and type ambiguity. In: B\u00e4uerle, R., Schwarze, C., von Stechow, A. (eds.) Meaning, Use, and Interpretation of Language, pp. 361\u2013383. Gruyter, Berlin (1983)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language and Meaning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31482-7_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T11:35:50Z","timestamp":1642592150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31482-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314810","9783642314827"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31482-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}