{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:27:05Z","timestamp":1743078425668,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662538258"},{"type":"electronic","value":"9783662538265"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2016,11,10]],"date-time":"2016-11-10T00:00:00Z","timestamp":1478736000000},"content-version":"vor","delay-in-days":314,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We propose an improvement of Barker and Shan\u2019s [4] NL<jats:inline-formula><jats:alternatives><jats:tex-math>$$_{\\text {CL}}$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:msub>\n                    <mml:mrow\/>\n                    <mml:mtext>CL<\/mml:mtext>\n                  <\/mml:msub>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula> for which derivability is decidable, which has a normal-form for proof search, can analyse scope islands, and distinguish between strong and weak quantifiers.<\/jats:p>","DOI":"10.1007\/978-3-662-53826-5_9","type":"book-chapter","created":{"date-parts":[[2016,11,9]],"date-time":"2016-11-09T11:59:48Z","timestamp":1478692788000},"page":"134-148","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Strong and Weak Quantifiers in Focused NL$$_{\\text {CL}}$$"],"prefix":"10.1007","author":[{"given":"Wen","family":"Kokke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,10]]},"reference":[{"issue":"1\u20133","key":"9_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0168-0072(00)00032-4","volume":"107","author":"J Andreoli","year":"2001","unstructured":"Andreoli, J.: Focussing and proof construction. Ann. Pure Appl. Logic 107(1\u20133), 131\u2013163 (2001)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1022183511876","volume":"10","author":"C Barker","year":"2002","unstructured":"Barker, C.: Continuations and the nature of quantification. Nat. Lang. Semant. 10(3), 211\u2013242 (2002)","journal-title":"Nat. Lang. Semant."},{"issue":"4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s10988-007-9021-y","volume":"30","author":"C Barker","year":"2007","unstructured":"Barker, C.: Parasitic scope. Linguist. Philos. 30(4), 407\u2013444 (2007)","journal-title":"Linguist. Philos."},{"key":"9_CR4","series-title":"Oxford Studies in Theoretical Linguistics","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199575015.001.0001","volume-title":"Continuations and Natural Language","author":"C Barker","year":"2014","unstructured":"Barker, C., Shan, C.: Continuations and Natural Language. Oxford Studies in Theoretical Linguistics, vol. 53. Oxford University Press, Oxford (2014)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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 (LNAI), vol. 6736, pp. 33\u201348. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-22221-4_3"},{"key":"9_CR6","unstructured":"Bastenhof, A.: Categorial symmetry. http:\/\/dspace.library.uu.nl\/handle\/1874\/273870"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"ND Belnap","year":"1982","unstructured":"Belnap, N.D.: Display logic. J Philos. Logic 11(4), 375\u2013417 (1982)","journal-title":"J Philos. Logic"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-45738-0_2","volume-title":"Logical Aspects of Computational Linguistics","author":"M Finger","year":"2001","unstructured":"Finger, M.: Computational solutions for structural constraints. In: Moortgat, M. (ed.) LACL 1998. LNCS (LNAI), vol. 2014, pp. 11\u201330. Springer, Heidelberg (2001). doi:10.1007\/3-540-45738-0_2"},{"key":"9_CR9","volume-title":"Semantics in Generative Grammar","author":"I Heim","year":"1998","unstructured":"Heim, I., Kratzer, A.: Semantics in Generative Grammar, vol. 13. Blackwell Oxford, Oxford (1998)"},{"key":"9_CR10","unstructured":"Kiselyov, O.: Compositional semantics of same, different, total. In: Proceedings for ESSLLI 2015 Workshop \u2018Empirical Advances in Categorial Grammar\u2019, pp. 71\u201381 (2015)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-94-017-8813-7_6","volume-title":"Formal Approaches to Semantics and Pragmatics","author":"O Kiselyov","year":"2014","unstructured":"Kiselyov, O., Shan, C.-C.: Continuation hierarchy and quantifier scope. In: McCready, E., Yabushita, K., Yoshimoto, K. (eds.) Formal Approaches to Semantics and Pragmatics, pp. 105\u2013134. Springer, Heidelberg (2014)"},{"issue":"1","key":"9_CR12","first-page":"35","volume":"3","author":"J Lambek","year":"2011","unstructured":"Lambek, J.: Observation of strains. Infect Dis. Ther. 3(1), 35\u201343 (2011). On the calculus of syntactic types. Structure of language and its mathematical aspects, 166: C178(1961)","journal-title":"Infect Dis. Ther."},{"key":"9_CR13","unstructured":"Moortgat, M.: In situ binding: a modal analysis. In: Dekker, P., Stokhof, M. (eds) Proceedings of the Tenth Amsterdam Colloquium, pp. 539\u2013549. Institute for Logic, Language and Computation (ILLC) (1996)"},{"key":"9_CR14","unstructured":"Moortgat, M., Moot, R.: Proof nets for the Lambek-Grishin calculus. In: Compositional Methods in Physics and Linguistics, volume abs\/1112.6384 (2011)"},{"key":"9_CR15","doi-asserted-by":"publisher","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. Kluwer, Alphen aan den Rijn (1994)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Szabolcsi, A.: The syntax of scope. In: The Handbook of Contemporary Syntactic Theory, pp. 607\u2013633. Wiley-Blackwell (2000)","DOI":"10.1002\/9780470756416.ch19"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996\u20132016)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53826-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:22:09Z","timestamp":1709821329000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-53826-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662538258","9783662538265"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53826-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"10 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LACL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logical Aspects of Computational Linguistics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nancy","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lacl2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/lacl.gforge.inria.fr\/lacl-2016\/index-presentation.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}