{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:02:37Z","timestamp":1743037357362,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781967"},{"type":"electronic","value":"9783540781974"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-78197-4_20","type":"book-chapter","created":{"date-parts":[[2008,2,11]],"date-time":"2008-02-11T05:50:46Z","timestamp":1202709046000},"page":"214-227","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Presuppositional Analysis of Definite Descriptions in Proof Theory"],"prefix":"10.1007","author":[{"given":"Koji","family":"Mineshima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,7,27]]},"reference":[{"key":"20_CR1","volume-title":"Presupposition and Assertion in Dynamic Semantics","author":"D. Beaver","year":"2001","unstructured":"Beaver, D.: Presupposition and Assertion in Dynamic Semantics. CSLI Publications, Stanford (2001)"},{"issue":"2","key":"20_CR2","doi-asserted-by":"publisher","first-page":"488","DOI":"10.2178\/jsl\/1120224725","volume":"70","author":"J. Carlstr\u00f6m","year":"2005","unstructured":"Carlstr\u00f6m, J.: Interpreting Descriptions in Intensional Type Theory. Journal of Symbolic Logic\u00a070(2), 488\u2013514 (2005)","journal-title":"Journal of Symbolic Logic"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"172","DOI":"10.3765\/salt.v11i0.2842","volume":"XI","author":"T. Fernando","year":"2001","unstructured":"Fernando, T.: Conservative Generalized Quantifiers and Presupposition. Semantics and Linguistic Theory\u00a0XI, 172\u2013191 (2001)","journal-title":"Semantics and Linguistic Theory"},{"key":"20_CR4","volume-title":"Presuppositions and Pronouns","author":"B. Geurts","year":"1999","unstructured":"Geurts, B.: Presuppositions and Pronouns. Elsevier, Amsterdam (1999)"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"J. Groenendijk","year":"1991","unstructured":"Groenendijk, J., Stokhof, M.: Dynamic Predicate Logic. Linguistics and Philosophy\u00a014, 39\u2013100 (1991)","journal-title":"Linguistics and Philosophy"},{"key":"20_CR6","unstructured":"Heim, I.: On the Projection Problem for Presuppositions. In: Barlow, M., Flickinger, D., Wescoat, M. (eds.) Proceedings of WCCFL, vol.\u00a02, pp. 114\u2013125 (1983)"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1515\/thli.1974.1.1-3.181","volume":"1","author":"L. Karttunen","year":"1974","unstructured":"Karttunen, L.: Presupposition and Linguistic Context. Theoretical Linguistics\u00a01, 181\u2013193 (1974)","journal-title":"Theoretical Linguistics"},{"key":"20_CR8","first-page":"1","volume-title":"Syntax and Semantics 11: Presupposition","author":"L. Karttunen","year":"1979","unstructured":"Karttunen, L., Peters, S.: Conventional Implicatures. In: Oh, C., Dineen, D. (eds.) Syntax and Semantics 11: Presupposition, pp. 1\u201356. Academic Press, New York (1979)"},{"key":"20_CR9","unstructured":"Kamp, H.: A Theory of Truth and Semantic Representation. In: Groenendijk, J., Janssen, T., Stokhof, M. (eds.) Formal Methods in the Study of Language. Mathematical Centre Tracts 136, Amsterdam, pp. 277\u2013322 (1981)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF00258436","volume":"8","author":"D. Lewis","year":"1979","unstructured":"Lewis, D.: Scorekeeping in a Language Game. Journal of Philosophical Logic\u00a08, 339\u2013359 (1979)","journal-title":"Journal of Philosophical Logic"},{"key":"20_CR11","unstructured":"Martin-L\u00f6f, P.: Intuitionistic Type Theory. Notes by G. Sambin, Bibliopolis, Naples (1984)"},{"key":"20_CR12","volume-title":"Programming in Martin-L\u00f6f\u2019s Type Theory","author":"B. Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.: Programming in Martin-L\u00f6f\u2019s Type Theory. Oxford University Press, Oxford (1990)"},{"key":"20_CR13","volume-title":"Type-Theoretical Grammar","author":"A. Ranta","year":"1994","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1994)"},{"key":"20_CR14","unstructured":"Stenlund, S.: The Logic of Description and Existence. Philosophical Studies, Philosophical Society and the Department of Philosophy, University of Uppsala, Uppsala (1973)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Stenlund, S.: Descriptions in intuitionistic logic. In: Kanger, S. (ed.) Proceedings of the Third Scandinavian Logic Symposium, pp. 197\u2013212 (1975)","DOI":"10.1016\/S0049-237X(08)70732-8"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1023\/A:1026437211756","volume":"101","author":"Z.G. Szab\u00f3","year":"2000","unstructured":"Szab\u00f3, Z.G.: Descriptions and Uniqueness. Philosophical Studies\u00a0101, 29\u201357 (2000)","journal-title":"Philosophical Studies"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/jos\/9.4.333","volume":"9","author":"R.A. Van der Sandt","year":"1992","unstructured":"Van der Sandt, R.A.: Presupposition Projection as Anaphora Resolution. Journal of Semantics\u00a09, 333\u2013377 (1992)","journal-title":"Journal of Semantics"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1093\/jos\/ffm007","volume":"24","author":"R. Van Rooij","year":"2007","unstructured":"Van Rooij, R.: Strengthening Conditional Presuppositions. Journal of Semantics\u00a024, 289\u2013304 (2007)","journal-title":"Journal of Semantics"}],"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-540-78197-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:06:15Z","timestamp":1629335175000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-78197-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540781967","9783540781974"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78197-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]},"assertion":[{"value":"27 July 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}