{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:28:26Z","timestamp":1743125306247,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319100609"},{"type":"electronic","value":"9783319100616"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10061-6_8","type":"book-chapter","created":{"date-parts":[[2014,11,5]],"date-time":"2014-11-05T11:34:11Z","timestamp":1415187251000},"page":"115-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Constructive Generalized Quantifiers Revisited"],"prefix":"10.1007","author":[{"given":"Ribeka","family":"Tanaka","sequence":"first","affiliation":[]},{"given":"Yuki","family":"Nakano","sequence":"additional","affiliation":[]},{"given":"Daisuke","family":"Bekki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,11,6]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0049-237X(08)71252-7","volume-title":"The Kleene Symposium","author":"P Aczel","year":"1980","unstructured":"Aczel, P.: Frege structures and the notions of proposition truth and set. In: Barwise, J., Keisler, H.J., Kunen, K. (eds.) The Kleene Symposium, pp. 31\u201359. North-Holland Publishing Company, Amsterdam (1980)"},{"issue":"2","key":"8_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1017\/S0956796800020025","volume":"1","author":"H Barendregt","year":"1991","unstructured":"Barendregt, H., et al.: Introduction to generalized type systems. J. Funct. Program. 1(2), 125\u2013154 (1991)","journal-title":"J. Funct. Program."},{"key":"8_CR3","first-page":"277","volume-title":"Logic and Interactive RAtionality (LIRa) Yearbook 2012","author":"D Bekki","year":"2014","unstructured":"Bekki, D.: Dependent type semantics: an introduction. In: Christoff, Z., Galeazzi, P., Gierasimczuk, N., Marcoci, A., Smet, S. (eds.) Logic and Interactive RAtionality (LIRa) Yearbook 2012, vol. I, pp. 277\u2013300. University of Amsterdam, The Netherlands (2014)"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/BF00635805","volume":"15","author":"G Chierchia","year":"1992","unstructured":"Chierchia, G.: Anaphora and dynamic binding. Linguist. Philos. 15(2), 111\u2013183 (1992)","journal-title":"Linguist. Philos."},{"key":"8_CR5","unstructured":"D\u00e1vila-P\u00e9rez, R.: Semantics and Parsing in Intuitionistic Categorial Grammar. Ph.d. thesis, University of Essex (1995)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Fernando, T.: Conservative generalized quantifiers and presupposition. In: Proceedings of the SALT, vol. 11, pp. 172\u2013191 (2001)","DOI":"10.3765\/salt.v11i0.2842"},{"key":"8_CR7","doi-asserted-by":"publisher","DOI":"10.1002\/9780470773543","volume-title":"Foundations of Intensional Semantics","author":"C Fox","year":"2005","unstructured":"Fox, C., Lappin, S.: Foundations of Intensional Semantics. Wiley-Blackwell, Malden (2005)"},{"key":"8_CR8","volume-title":"Reference and Generality: An Examination of Some Medieval and Modern Theories","author":"PT Geach","year":"1962","unstructured":"Geach, P.T.: Reference and Generality: An Examination of Some Medieval and Modern Theories. Cornell University Press Ithaca, Ithaca (1962)"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BF00630732","volume":"13","author":"I Heim","year":"1990","unstructured":"Heim, I.: E-Type pronouns and donkey anaphora. Linguist. Philos. 13(2), 137\u2013177 (1990)","journal-title":"Linguist. Philos."},{"key":"8_CR10","volume-title":"Semantics in Generative Grammar","author":"I Heim","year":"1998","unstructured":"Heim, I., Kratzer, A.: Semantics in Generative Grammar, vol. 13. Blackwell, Oxford (1998)"},{"key":"8_CR11","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"B Jacobs","year":"1999","unstructured":"Jacobs, B.: Studies in Logic and the Foundations of Mathematics, vol. 141. Elsevier, Amsterdam (1999)"},{"issue":"3","key":"8_CR12","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/BF00627710","volume":"13","author":"N Kadmon","year":"1990","unstructured":"Kadmon, N.: Uniqueness. Linguist. Philos. 13(3), 273\u2013324 (1990)","journal-title":"Linguist. Philos."},{"issue":"2","key":"8_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00984775","volume":"17","author":"M Kanazawa","year":"1994","unstructured":"Kanazawa, M.: Weak vs strong readings of donkey sentences and monotonicity inference in a dynamic setting. Linguist. Philos. 17(2), 109\u2013158 (1994)","journal-title":"Linguist. Philos."},{"key":"8_CR14","unstructured":"Kievit, L.: Sets and quantification in a constructive type theoretical semantics for natural language (manuscript) (1995)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Krifka, M.: Pragmatic strengthening in plural predications and donkey sentences. In: Proceedings of the SALT, vol. 6, pp. 136\u2013153 (1996)","DOI":"10.3765\/salt.v6i0.2769"},{"key":"8_CR16","volume-title":"Intuitionistic Type Theory","author":"P Martin-Lof","year":"1984","unstructured":"Martin-Lof, P., Sambin, G.: Intuitionistic Type Theory. Bibliopolis, Naples (1984)"},{"key":"8_CR17","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538578.001.0001","volume-title":"Type-Theoretical Grammar","author":"A Ranta","year":"1995","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1995)"},{"issue":"1","key":"8_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00873254","volume":"79","author":"G Sundholm","year":"1989","unstructured":"Sundholm, G.: Constructive generalized quantifiers. Synthese 79(1), 1\u201312 (1989)","journal-title":"Synthese"},{"key":"8_CR19","first-page":"165","volume-title":"Handbook of Philosophical Logic","author":"G Sundholm","year":"1986","unstructured":"Sundholm, G.: Proof theory and meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, pp. 165\u2013198. Springer, New York (1986)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10061-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,4]],"date-time":"2024-06-04T19:19:07Z","timestamp":1717528747000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-10061-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319100609","9783319100616"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10061-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}