{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:14:58Z","timestamp":1725891298413},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312618"},{"type":"electronic","value":"9783642312625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31262-5_5","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T04:54:04Z","timestamp":1339390444000},"page":"74-85","source":"Crossref","is-referenced-by-count":0,"title":["Toward the Formulation of Presupposition by Illative Combinatory Logic"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Ishishita","sequence":"first","affiliation":[]},{"given":"Daisuke","family":"Bekki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"769","DOI":"10.2307\/2275096","volume":"58","author":"H. Barendregt","year":"1993","unstructured":"Barendregt, H., Bunder, M., Dekkers, W.: Systems of illative combinatory logic complete for first-order propositional and predicate calculus. The Journal of Symbolic Logic\u00a058(3), 769\u2013788 (1993)","journal-title":"The Journal of Symbolic Logic"},{"key":"5_CR2","unstructured":"Beaver, D.I.: Presupposition and Assertion in Dynamic Semantics. Studies in Logic, Language and Information. CSLI Publications & folli. (2001)"},{"key":"5_CR3","unstructured":"Bekki, D.: Combinatory categorial grammar as a substrutural logic - preliminary remarks -. In: The Seventh International Workshop on Logic and Engeneering of Natural Language Semantics (LENLS 7), pp. 70\u201383 (2010)"},{"issue":"2","key":"5_CR4","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":"5_CR5","volume-title":"Combinatory logic","author":"H.B. Curry","year":"1958","unstructured":"Curry, H.B., Feys, R.: Combinatory logic, vol.\u00a01. North-Holland, Amsterdam (1958)"},{"key":"5_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-14322-9_6","volume-title":"The Mathematics of Language","author":"N. Francez","year":"2010","unstructured":"Francez, N., Dyckhoff, R.: Proof-Theoretic Semantics for a Natural Language Fragment. In: Ebert, C., J\u00e4ger, G., Michaelis, J. (eds.) MOL 10\/11. LNCS (LNAI), vol.\u00a06149, pp. 56\u201371. Springer, Heidelberg (2010)"},{"key":"5_CR7","volume-title":"Pragmatics: Implicature, Presupposition, and Logical Form","author":"G. Gazdar","year":"1979","unstructured":"Gazdar, G.: Pragmatics: Implicature, Presupposition, and Logical Form. Academic Press, London (1979)"},{"key":"5_CR8","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.: Presuppositions and liguistic contexxt. Theoretical Linguistics\u00a01, 181\u2013193 (1974)","journal-title":"Theoretical Linguistics"},{"key":"5_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-78197-4_20","volume-title":"New Frontiers in Artificial Intelligence","author":"K. Mineshima","year":"2008","unstructured":"Mineshima, K.: A Presuppositional Analysis of Definite Descriptions in Proof Theory. In: Satoh, K., Inokuchi, A., Nagao, K., Kawamura, T. (eds.) JSAI 2007. LNCS (LNAI), vol.\u00a04914, pp. 214\u2013227. Springer, Heidelberg (2008)"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-94-010-2506-5_10","volume-title":"Approaches to Natural Language","author":"R. Montague","year":"1973","unstructured":"Montague, R.: The proper treatment of quantification in ordinary english. In: Hintikka, J., Moravcsic, J., Suppes, P. (eds.) Approaches to Natural Language, pp. 221\u2013242. Reidel, Dordrecht (1973)"},{"key":"5_CR11","unstructured":"Ozaki, H., Bekki, D.: Extractability as deduction theorem in subdirectional combinatory logic. In: The Eighth International Workshop on Logic and Engeneering of Natural Language Semantics (LENLS 8), pp. 80\u201393 (2011)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Ranta, A.: Type-Theoretical Grammar. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198538578.001.0001"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/jos\/9.4.333","volume":"9","author":"R. Sandt van der","year":"1992","unstructured":"van der Sandt, R.: Presupposition projection as anaphora resolution. Journal of Semantics\u00a09, 333\u2013377 (1992)","journal-title":"Journal of Semantics"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/3-540-54594-8_65","volume-title":"Text Understanding in LILOG","author":"R. Sandt van der","year":"1991","unstructured":"van der Sandt, R., Geurts, B.: Presupposition, Anaphora, and Lexical Content. In: Herzog, O., Rollinger, C.-R. (eds.) LILOG 1991. LNCS, vol.\u00a0546, pp. 259\u2013296. Springer, Heidelberg (1991)"},{"key":"5_CR15","first-page":"623","volume":"10","author":"S. Soames","year":"1979","unstructured":"Soames, S.: A projection problem for speaker presuppositions. Linguistic Inquiry\u00a010, 623\u2013666 (1979)","journal-title":"Linguistic Inquiry"},{"key":"5_CR16","unstructured":"Stalnaker, R.: Pragmatic presupposition. In: Munitz, M.K., Unger, D.K. (eds.) Semantics and Philosophy, pp. 197\u2013213. New York University Press (1974)"},{"key":"5_CR17","volume-title":"The Syntactic Process (Language, Speech, and Communication)","author":"M.J. Steedman","year":"2000","unstructured":"Steedman, M.J.: The Syntactic Process (Language, Speech, and Communication). The MIT Press, Cambridge (2000)"},{"issue":"235","key":"5_CR18","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1093\/mind\/LIX.235.320","volume":"59","author":"P.F. Strawson","year":"1950","unstructured":"Strawson, P.F.: On referring. Mind, New Series\u00a059(235), 320\u2013344 (1950)","journal-title":"Mind, New Series"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Sundholm, G.: Proof theory and meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a09, pp. 165\u2013198. Kluwer Academic Publishers (2002)","DOI":"10.1007\/978-94-017-0464-9_3"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31262-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T06:14:45Z","timestamp":1714025685000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31262-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312618","9783642312625"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31262-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}