{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:20:50Z","timestamp":1740122450176,"version":"3.37.3"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:00:00Z","timestamp":1558310400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:00:00Z","timestamp":1558310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100009149","name":"School of Electronic Engineering and Computer Science","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009149","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000288","name":"The Royal Society","doi-asserted-by":"crossref","award":["International Exchange Award IE161631"],"award-info":[{"award-number":["International Exchange Award IE161631"]}],"id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10849-019-09293-4","type":"journal-article","created":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T12:01:59Z","timestamp":1558440119000},"page":"331-358","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Type-Driven Vector Semantics for Ellipsis with Anaphora Using Lambek Calculus with Limited Contraction"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7198-1024","authenticated-orcid":false,"given":"Gijs","family":"Wijnholds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrnoosh","family":"Sadrzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,20]]},"reference":[{"issue":"1","key":"9293_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S Abramsky","year":"1993","unstructured":"Abramsky, S. (1993). Computational interpretations of linear logic. Theoretical Computer Science, 111(1), 3\u201357.","journal-title":"Theoretical Computer Science"},{"key":"9293_CR2","doi-asserted-by":"crossref","unstructured":"Abramsky, S. (2009). No-cloning in categorical quantum mechanics. Semantic Techniques in Quantum Computation, 1\u201328.","DOI":"10.1017\/CBO9781139193313.002"},{"key":"9293_CR3","unstructured":"Baroni, M., & Zamparelli, R. (2010). Nouns are vectors, adjectives are matrices: Representing adjective-noun constructions in semantic space. In: Proceedings of the 2010 conference on empirical methods in natural language processing, (pp. 1183\u20131193). Association for Computational Linguistics."},{"issue":"11","key":"9293_CR4","doi-asserted-by":"publisher","first-page":"1079","DOI":"10.1016\/j.apal.2013.05.009","volume":"164","author":"B Coecke","year":"2013","unstructured":"Coecke, B., Grefenstette, E., & Sadrzadeh, M. (2013). Lambek vs. Lambek: Functorial vector space semantics and string diagrams for lambek calculus. Annals of Pure and Applied Logic, 164(11), 1079\u20131100.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9293_CR5","first-page":"167","volume-title":"New structures for physics, lecture notes in physics","author":"B Coecke","year":"2008","unstructured":"Coecke, B., & Paquette, E. (2008). Introducing categories to the practicing physicist. In B. Coecke (Ed.), New structures for physics, lecture notes in physics (pp. 167\u2013271). Berlin: Springer."},{"key":"9293_CR6","first-page":"269","volume":"1","author":"B Coecke","year":"2008","unstructured":"Coecke, B., Pavlovic, D., & Vicary, J. (2008). A new description of orthogonal bases. Mathematical Structures in Computer Science, 1, 269\u2013272.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9293_CR7","unstructured":"Coecke, B., Sadrzadeh, M., & Clark, S. (2010). Mathematical foundations for a compositional distributional model of meaning. arXiv preprint \n                    arXiv:1003.4394\n                    \n                  ."},{"issue":"4","key":"9293_CR8","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00630923","volume":"14","author":"M Dalrymple","year":"1991","unstructured":"Dalrymple, M., Shieber, S. M., & Pereira, F. C. (1991). Ellipsis and higher-order unification. Linguistics and Philosophy, 14(4), 399\u2013452.","journal-title":"Linguistics and Philosophy"},{"key":"9293_CR9","doi-asserted-by":"crossref","unstructured":"de Groote, P. (2001). Towards abstract categorial grammars. In Proceedings of the 39th Annual Meeting on Association for Computational Linguistics, ACL \u201901 (pp. 252\u2013259). Association for Computational Linguistics, Stroudsburg, PA, USA.","DOI":"10.3115\/1073012.1073045"},{"key":"9293_CR10","unstructured":"Firth, J. R. (1957). A synopsis of linguistic theory, 1930\u20131955. Studies in Linguistic Analysis 1952\u201359, 1\u201332."},{"key":"9293_CR11","unstructured":"Grefenstette, E., Dinu, G., Zhang, Y. Z., Sadrzadeh, M., & Baroni, M. (2013). Multi-step regression learning for compositional distributional semantics. arXiv preprint \n                    arXiv:1301.6939\n                    \n                  ."},{"key":"9293_CR12","unstructured":"Grefenstette, E., & Sadrzadeh, M. (2011a). Experimental support for a categorical compositional distributional model of meaning. In Proceedings of the conference on empirical methods in natural language processing (pp. 1394\u20131404). Association for Computational Linguistics."},{"key":"9293_CR13","unstructured":"Grefenstette, E., & Sadrzadeh, M. (2011b). Experimenting with transitive verbs in a discocat. In Proceedings of the GEMS 2011 workshop on geometrical models of natural language semantics (pp. 62\u201366). Association for Computational Linguistics."},{"key":"9293_CR14","unstructured":"Hedges, J., & Sadrzadeh, M. (2016). A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras. arXiv preprint \n                    arXiv:1602.01635\n                    \n                  ."},{"key":"9293_CR15","unstructured":"Hendriks, P. (1995) Comparatives and Categorial Grammar. Groningen dissertations in linguistics. Grodil. \n                    https:\/\/books.google.co.uk\/books?id=FeNUuAAACAAJ\n                    \n                  ."},{"key":"9293_CR16","unstructured":"Jacobs, B. (2011). Bases as coalgebras. In International conference on algebra and coalgebra in computer science, (pp. 237\u2013252). Berlin: Springer."},{"issue":"2","key":"9293_CR17","first-page":"2","volume":"5","author":"G J\u00e4ger","year":"1998","unstructured":"J\u00e4ger, G. (1998). A multi-modal analysis of anaphora and ellipsis. University of Pennsylvania Working Papers in Linguistics, 5(2), 2.","journal-title":"University of Pennsylvania Working Papers in Linguistics"},{"key":"9293_CR18","volume-title":"Anaphora and type logical grammar","author":"G J\u00e4ger","year":"2006","unstructured":"J\u00e4ger, G. (2006). Anaphora and type logical grammar (Vol. 24). Berlin: Springer."},{"key":"9293_CR19","unstructured":"Kartsaklis, D. (2016). Coordination in categorical compositional distributional semantics. arXiv preprint \n                    arXiv:1606.01515\n                    \n                  ."},{"key":"9293_CR20","unstructured":"Kartsaklis, D., Purver, M., & Sadrzadeh, M. (2016). Verb phrase ellipsis using frobenius algebras in categorical compositional distributional semantics. In European summer school on logic, language and information: DSALT workshop."},{"key":"9293_CR21","unstructured":"Kartsaklis, D., & Sadrzadeh, M. (2013) Prior disambiguation of word tensors for constructing sentence vectors. In Proceedings of the 2013 conference on empirical methods in natural language processing (pp. 1590\u20131601)."},{"key":"9293_CR22","volume-title":"Handbook of contemporary semantic theory, chap. 4","author":"R Kempson","year":"2015","unstructured":"Kempson, R., Cann, R., Eshghi, A., Gregoromichelaki, E., & Purver, M. (2015). Ellipsis. In S. Lappin & C. Fox (Eds.), Handbook of contemporary semantic theory, chap. 4 (2nd ed.). Hoboken: Wiley.","edition":"2"},{"issue":"4","key":"9293_CR23","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1162\/COLI_a_00262","volume":"42","author":"G Kruszewski","year":"2016","unstructured":"Kruszewski, G., Paperno, D., Bernardi, R., & Baroni, M. (2016). There is no logical negation here, but there are alternatives: Modeling conversational negation with distributional semantics. Computational Linguistics, 42(4), 637\u2013660.","journal-title":"Computational Linguistics"},{"issue":"2","key":"9293_CR24","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1162\/LING_a_00242","volume":"48","author":"Y Kubota","year":"2017","unstructured":"Kubota, Y., & Levine, R. (2017). Pseudogapping as pseudo-vp-ellipsis. Linguistic Inquiry, 48(2), 213\u2013257.","journal-title":"Linguistic Inquiry"},{"key":"9293_CR25","unstructured":"Lambek, J. (1997). Type grammar revisited. In International conference on logical aspects of computational linguistics (pp. 1\u201327). Berlin: Springer."},{"issue":"1","key":"9293_CR26","first-page":"1","volume":"20","author":"A Lenci","year":"2008","unstructured":"Lenci, A. (2008). Distributional semantics in linguistic and cognitive research. Italian Journal of Linguistics, 20(1), 1\u201331.","journal-title":"Italian Journal of Linguistics"},{"issue":"2","key":"9293_CR27","doi-asserted-by":"publisher","first-page":"203","DOI":"10.3758\/BF03204766","volume":"28","author":"K Lund","year":"1996","unstructured":"Lund, K., & Burgess, C. (1996). Producing high-dimensional semantic spaces from lexical co-occurrence. Behavior Research Methods, Instruments, & Computers, 28(2), 203\u2013208.","journal-title":"Behavior Research Methods, Instruments, & Computers"},{"key":"9293_CR28","doi-asserted-by":"crossref","unstructured":"Maillard, J., Clark, S., & Grefenstette, E. (2014). A type-driven tensor-based semantics for CCG. In Proceedings of the EACL 2014 type theory and natural language semantics workshop (pp. 46\u201354).","DOI":"10.3115\/v1\/W14-1406"},{"key":"9293_CR29","unstructured":"Mikolov, T., Sutskever, I., Chen, K., Corrado, G. S., & Dean, J. (2013). Distributed representations of words and phrases and their compositionality. In Advances in neural information processing systems (pp. 3111\u20133119)."},{"key":"9293_CR30","unstructured":"Milajevs, D., Kartsaklis, D., Sadrzadeh, M., & Purver, M. (2014). Evaluating neural word representations in tensor-based compositional settings. arXiv preprint \n                    arXiv:1408.6179\n                    \n                  ."},{"key":"9293_CR31","unstructured":"Mitchell, J., & Lapata, M. (2008). Vector-based models of semantic composition. In Proceedings of ACL-08: HLT (pp. 236\u2013244)."},{"issue":"8","key":"9293_CR32","doi-asserted-by":"publisher","first-page":"1388","DOI":"10.1111\/j.1551-6709.2010.01106.x","volume":"34","author":"J Mitchell","year":"2010","unstructured":"Mitchell, J., & Lapata, M. (2010). Composition in distributional models of semantics. Cognitive Science, 34(8), 1388\u20131429.","journal-title":"Cognitive Science"},{"key":"9293_CR33","first-page":"188","volume-title":"Linguaggi nella societa e nella tecnica","author":"R Montague","year":"1970","unstructured":"Montague, R. (1970). English as a formal language. In B. Visentini (Ed.), Linguaggi nella societa e nella tecnica (pp. 188\u2013221). Ivrea: Edizioni di Communita."},{"key":"9293_CR34","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/B978-044481714-3\/50005-9","volume-title":"Handbook of logic and language","author":"M Moortgat","year":"1997","unstructured":"Moortgat, M. (1997). Chapter 2\u2014categorial type logics. In J. van Benthem & A. ter Meulen (Eds.), Handbook of logic and language (pp. 93\u2013177). Amsterdam: Elsevier. \n                    https:\/\/doi.org\/10.1016\/B978-044481714-3\/50005-9\n                    \n                  ."},{"key":"9293_CR35","unstructured":"Moortgat, M., & Wijnholds, G. (2017). Lexical and derivational meaning in vector-based models of relativisation. In Proceedings of the 21st Amsterdam colloquium (pp. 55\u201364)."},{"issue":"2","key":"9293_CR36","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10988-016-9197-0","volume":"40","author":"G Morrill","year":"2017","unstructured":"Morrill, G. (2017). Grammar logicised: Relativisation. Linguistics and Philosophy, 40(2), 119\u2013163.","journal-title":"Linguistics and Philosophy"},{"key":"9293_CR37","first-page":"119","volume":"27","author":"G Morrill","year":"1996","unstructured":"Morrill, G., & Merenciano Saladrigas, J. M. (1996). Generalising discontinuity. Traitement Automatique des Langues, 27, 119\u2013143.","journal-title":"Traitement Automatique des Langues"},{"key":"9293_CR38","unstructured":"Morrill, G., & Valent\u0131n, O. (2010). On calculus of displacement. In Proceedings of the 10th international workshop on tree adjoining grammars and related formalisms (pp. 45\u201352)."},{"key":"9293_CR39","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-94-010-0037-6_2","volume-title":"Resource-sensitivity, binding and anaphora","author":"R Muskens","year":"2003","unstructured":"Muskens, R. (2003). Language, lambdas, and logic. Resource-sensitivity, binding and anaphora (pp. 23\u201354). Dordrecht: Springer."},{"key":"9293_CR40","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-662-53826-5_15","volume-title":"Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996\u20132016)","author":"R Muskens","year":"2016","unstructured":"Muskens, R., & Sadrzadeh, M. (2016). Context update for lambdas and vectors. In M. Amblard, P. de Groote, S. Pogodalla, & C. Retor\u00e9 (Eds.), Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996\u20132016) (pp. 247\u2013254). Berlin: Springer."},{"issue":"2","key":"9293_CR41","doi-asserted-by":"publisher","first-page":"319","DOI":"10.15398\/jlm.v6i2.228","volume":"6","author":"R Muskens","year":"2019","unstructured":"Muskens, R., & Sadrzadeh, M. (2019). Static and dynamic vector semantics for lambda calculus models of natural language. Journal of Language Modelling, 6(2), 319\u2013351.","journal-title":"Journal of Language Modelling"},{"key":"9293_CR42","unstructured":"Sadrzadeh, M. (2016). Quantifier scope in categorical compositional distributional semantics. arXiv preprint \n                    arXiv:1608.01404\n                    \n                  ."},{"issue":"6","key":"9293_CR43","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1093\/logcom\/ext044","volume":"23","author":"M Sadrzadeh","year":"2013","unstructured":"Sadrzadeh, M., Clark, S., & Coecke, B. (2013). The Frobenius anatomy of word meanings I: Subject and object relative pronouns. Journal of Logic and Computation, 23(6), 1293\u20131317.","journal-title":"Journal of Logic and Computation"},{"key":"9293_CR44","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1093\/logcom\/exu027","volume":"26","author":"M Sadrzadeh","year":"2014","unstructured":"Sadrzadeh, M., Clark, S., & Coecke, B. (2014). The Frobenius anatomy of word meanings II: Possessive relative pronouns. Journal of Logic and Computation, 26, 785\u2013815.","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9293_CR45","first-page":"97","volume":"24","author":"H Sch\u00fctze","year":"1998","unstructured":"Sch\u00fctze, H. (1998). Automatic word sense discrimination. Computational Linguistics, 24(1), 97\u2013123.","journal-title":"Computational Linguistics"},{"key":"9293_CR46","unstructured":"Wijnholds, G. (2014). Categorical foundations for extended compositional distributional models of meaning. M.Sc. thesis . \n                    https:\/\/www.illc.uva.nl\/Research\/Publications\/Reports\/MoL-2014-22.text.pdf\n                    \n                  ."},{"key":"9293_CR47","doi-asserted-by":"crossref","unstructured":"Wijnholds, G., & Sadrzadeh, M. (2018). Classical copying versus quantum entanglement in natural language: The case of VP-ellipsis. In EPTCS proceedings of the second workshop on compositional approaches for physics, NLP, and social sciences (CAPNS).","DOI":"10.4204\/EPTCS.283.8"},{"issue":"2","key":"9293_CR48","doi-asserted-by":"publisher","first-page":"261","DOI":"10.15398\/jlm.v6i2.232","volume":"6","author":"G Wijnholds","year":"2019","unstructured":"Wijnholds, G. (2019). A proof-theoretic approach to scope ambiguity in compositional vector space models. Journal of Language Modelling, 6(2), 261\u2013286.","journal-title":"Journal of Language Modelling"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09293-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-019-09293-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09293-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T23:13:53Z","timestamp":1589843633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-019-09293-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,20]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["9293"],"URL":"https:\/\/doi.org\/10.1007\/s10849-019-09293-4","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2019,5,20]]},"assertion":[{"value":"20 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}