{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:06Z","timestamp":1725488886356},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422518"},{"type":"electronic","value":"9783540457381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45738-0_3","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T11:40:39Z","timestamp":1186746039000},"page":"31-47","source":"Crossref","is-referenced-by-count":0,"title":["Hypothetical Reasoning and Basic Non-Constituent Coordination in Yype-Logical Grammar"],"prefix":"10.1007","author":[{"given":"Nissim","family":"Francez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,18]]},"reference":[{"key":"3_CR1","unstructured":"Barry, G., and M. Pickering. Dependency and constituency in Categorial Grammar. In Lecomte, A., editor, Word order in Categorial Grammar. DYANA project workshop in Clermont-Ferrand, 1992."},{"key":"3_CR2","volume-title":"Proc. of the 13th west coast conference on formal linguistics","author":"B. Carpenter","year":"1994","unstructured":"Carpenter, B. A deductive account of scope. In Proc. of the 13th west coast conference on formal linguistics, San-Diego, CA, 1994. CSLI publications. Extended version submitted to Linguistics and Philosophy."},{"key":"3_CR3","volume-title":"Proc. of the international congress on logic, methodology, and philosophy","author":"D. Dowty","year":"1996","unstructured":"Dowty, D. Non-constituent coordination, wrapping, and multimodal categorial grammars. In Proc. of the international congress on logic, methodology, and philosophy, Florence, Italy, August, 1996. Kluwer."},{"key":"3_CR4","unstructured":"Emms, M. An undecidability result for polymorphic Lambek Calculus. In Dekker, P., and M. Stokhof, editors, Proccedings of Tenth Amsterdam Colloquium. ILLC, 1995"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Geach, P. A program for syntax. In Davidson, D., and G. Herman, editors, Semantics of Natural Language. Reidel, Dordrecht, 1972.","DOI":"10.1007\/978-94-010-2557-7_17"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Jacobson, P. The locality of interpretation: the case of binding and coordination. In Proceedings of the 6th conference on semantics in Linguistic Theory (SALT). Cornell working papers in Linguistic, 1996.","DOI":"10.3765\/salt.v6i0.2771"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Keenan, E., and L. Faltz. Boolean semantics for natural language. Reidel, Dordrecht, 1985.","DOI":"10.1007\/978-94-009-6404-4"},{"key":"3_CR8","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, 65:154\u2013170, 1958.","journal-title":"American mathematical monthly"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Milward, D. Non-constituent coordination: Theory and practice. In Proc. of the 15th international conference on Computational linguistics(COLING94), pages 935\u2013941, Kyoto, Japan, 1994.","DOI":"10.3115\/991250.991299"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Moortgat, M. Categorial type logics. In Johan van Benthem and Alice ter Muelen, editors, Handbook of Logic and Language. Elsevier, 1997.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Morrill, G. V. Type Logical Grammar: Categorial Logic of Signs. Kluwer Academic Publishers, 1994.","DOI":"10.1007\/978-94-011-1042-6"},{"key":"3_CR12","volume-title":"Meaning, use and interpretation of language","author":"B. Partee","year":"1983","unstructured":"Partee, B., and M. Rooth. Generalized conjunction and type ambiguity. In Rainer Ba\u00fcerle, Christoph Schwartze, and Arnim von Stechow, editors, Meaning, use and interpretation of language. De Gruyter, Berlin, 1983."},{"key":"3_CR13","unstructured":"Prawitz, D. Natural deduction. Alqvist and Wiksell, Uppsala, 1965."},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0024-3841(93)90024-Q","volume":"90","author":"M. Steedman","year":"1993","unstructured":"Steedman, M. Categorial grammar (tutorial overview). Lingua, 90:221\u2013258, 1993.","journal-title":"Lingua"},{"key":"3_CR15","unstructured":"Steedman, M. Surface Structure and Interpretation. MIT Press, Linguistic Inquiry monographs 30, 1996."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Steedman, M. Alternating quantifier scope in CCG. To appear, 1999.","DOI":"10.3115\/1034678.1034728"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF00630896","volume":"19","author":"Y. Winter","year":"1996","unstructured":"Winter, Y. A unified semantic treatment of singular np coordination. Linguistics and Philosophy, 19:337\u2013391, 1996. See also forthcoming (1998) Ph.D thesis.","journal-title":"Linguistics and Philosophy"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45738-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T18:21:15Z","timestamp":1556734875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45738-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422518","9783540457381"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45738-0_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}