{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T08:56:18Z","timestamp":1691744178899},"reference-count":53,"publisher":"Cambridge University Press (CUP)","issue":"06","license":[{"start":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T00:00:00Z","timestamp":1554854400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2019,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Categorical compositional distributional semantics is a model of natural language; it combines the statistical vector space models of words with the compositional models of grammar. We formalise in this model the generalised quantifier theory of natural language, due to Barwise and Cooper. The underlying setting is a compact closed category with bialgebras. We start from a generative grammar formalisation and develop an abstract categorical compositional semantics for it, and then instantiate the abstract setting to sets and relations and to finite-dimensional vector spaces and linear maps. We prove the equivalence of the relational instantiation to the truth theoretic semantics of generalised quantifiers. The vector space instantiation formalises the statistical usages of words and enables us to, for the first time, reason about quantified phrases and sentences compositionally in distributional semantics.<\/jats:p>","DOI":"10.1017\/s0960129518000324","type":"journal-article","created":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T09:27:06Z","timestamp":1554888426000},"page":"783-809","source":"Crossref","is-referenced-by-count":4,"title":["A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras"],"prefix":"10.1017","volume":"29","author":[{"given":"Jules","family":"Hedges","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrnoosh","family":"Sadrzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2019,4,10]]},"reference":[{"key":"S0960129518000324_ref39","doi-asserted-by":"publisher","DOI":"10.1111\/j.1551-6709.2010.01106.x"},{"key":"S0960129518000324_ref40","first-page":"189","volume-title":"Linguaggi nella Societ\u00e0 e nella Tecnica","author":"Montague","year":"1970"},{"key":"S0960129518000324_ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1956.1056813"},{"key":"S0960129518000324_ref37","first-page":"233","volume":"26","author":"McCurdy","year":"2012","journal-title":"Theory and Applications of Categories"},{"key":"S0960129518000324_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48199-0_6"},{"key":"S0960129518000324_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6878-4_4"},{"key":"S0960129518000324_ref36","doi-asserted-by":"publisher","DOI":"10.3758\/BF03204766"},{"key":"S0960129518000324_ref6","doi-asserted-by":"publisher","DOI":"10.3758\/BF03193020"},{"key":"S0960129518000324_ref35","first-page":"768","volume-title":"Proceedings of the 17th international conference on Computational linguistics","volume":"2","author":"Lin","year":"1998"},{"key":"S0960129518000324_ref5","first-page":"351","volume-title":"Proceedings of FoSSaCS 2014","volume":"8412","author":"Bonchi","year":"2014"},{"key":"S0960129518000324_ref34","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00201"},{"key":"S0960129518000324_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00350139"},{"key":"S0960129518000324_ref33","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.104.2.211"},{"key":"S0960129518000324_ref3","first-page":"1","volume":"9F","author":"Bar-Hillel","year":"1960","journal-title":"Bulletin of the Research Council of Israel"},{"key":"S0960129518000324_ref32","first-page":"451","volume-title":"New Structures for Physics","author":"Lambek","year":"2010"},{"key":"S0960129518000324_ref2","doi-asserted-by":"publisher","DOI":"10.2307\/410452"},{"key":"S0960129518000324_ref31","volume-title":"From Word to Sentence: A Computational Algebraic Approach to Grammar","author":"Lambek","year":"2008"},{"key":"S0960129518000324_ref1","first-page":"1","volume":"1","author":"Ajdukiewicz","year":"1935","journal-title":"Studia Philosophica"},{"key":"S0960129518000324_ref30","first-page":"1","volume-title":"Proceedings of LACL 97","volume":"1582","author":"Lambek","year":"1997"},{"key":"S0960129518000324_ref29","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1958.11989160"},{"key":"S0960129518000324_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01304852"},{"key":"S0960129518000324_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(80)90101-2"},{"key":"S0960129518000324_ref26","first-page":"199","volume-title":"Logic and Algebraic Structures in Quantum Computing and Information","author":"Kartsaklis","year":"2013"},{"key":"S0960129518000324_ref25","first-page":"549","volume-title":"Proceedings of 24th International Conference on Computational Linguistics (COLING 2012): Posters","author":"Kartsaklis","year":"2012"},{"key":"S0960129518000324_ref24","first-page":"1590","volume-title":"Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP)","author":"Kartsaklis","year":"2013"},{"key":"S0960129518000324_ref55","volume-title":"Proceedings of the 20th International Conference on Computational Linguistics","author":"Weeds","year":"2004"},{"key":"S0960129518000324_ref23","first-page":"212","volume-title":"Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics","volume":"2","author":"Kartsaklis","year":"2014"},{"key":"S0960129518000324_ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0897-3_4"},{"key":"S0960129518000324_ref53","doi-asserted-by":"publisher","DOI":"10.1162\/coli.2006.32.3.379"},{"key":"S0960129518000324_ref21","doi-asserted-by":"publisher","DOI":"10.1080\/00437956.1954.11659520"},{"key":"S0960129518000324_ref52","first-page":"97","volume":"24","author":"Schuetze","year":"1998","journal-title":"Computational Linguistics"},{"key":"S0960129518000324_ref20","doi-asserted-by":"publisher","DOI":"10.1162\/COLI_a_00209"},{"key":"S0960129518000324_ref51","doi-asserted-by":"publisher","DOI":"10.1145\/361219.361220"},{"key":"S0960129518000324_ref50","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu027"},{"key":"S0960129518000324_ref19","first-page":"1394","volume-title":"Proceedings of Conference on Empirical Methods in Natural Language Processing (EMNLP), Computational Linguistics","volume":"41","author":"Grefenstette","year":"2011"},{"key":"S0960129518000324_ref49","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/ext044"},{"key":"S0960129518000324_ref17","first-page":"107","author":"Geffet","year":"2005","journal-title":"Proceedings of the 43rd Annual Meeting on Association for Computational Linguistics"},{"key":"S0960129518000324_ref48","first-page":"165","volume-title":"Joint Proceedings of the Second International Workshop on Natural Language and Computer Science (NLCS14) and First International Workshop on Natural Language Services for Reasoners (NLSR 2014)","author":"Rypacek","year":"2014"},{"key":"S0960129518000324_ref16","doi-asserted-by":"publisher","DOI":"10.2307\/2181485"},{"key":"S0960129518000324_ref47","doi-asserted-by":"publisher","DOI":"10.1145\/365628.365657"},{"key":"S0960129518000324_ref15","first-page":"168","volume-title":"Studies in Linguistic Analysis","author":"Firth","year":"1957"},{"key":"S0960129518000324_ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-011-9132-2"},{"key":"S0960129518000324_ref14","first-page":"345","volume":"36","author":"Coecke","year":"2010","journal-title":"Linguistic Analysis"},{"key":"S0960129518000324_ref45","first-page":"141","volume-title":"Proceedings of the 6th QPL Workshop on Quantum Physics and Logic","author":"Preller","year":"2010"},{"key":"S0960129518000324_ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.05.009"},{"key":"S0960129518000324_ref44","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005901"},{"key":"S0960129518000324_ref12","first-page":"52","volume-title":"Proceedings of the AAAI Spring Symposium on Quantum Interaction","author":"Clark","year":"2007"},{"key":"S0960129518000324_ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2013.08.001"},{"key":"S0960129518000324_ref11","first-page":"41","volume-title":"13th Meeting on Mathematics of Language (MoL)","author":"Clark","year":"2013"},{"key":"S0960129518000324_ref42","first-page":"113","volume-title":"Proceedings of the 10th International Workshop on Quantum Physics and Logic","author":"Preller","year":"2013"},{"key":"S0960129518000324_ref10","first-page":"133","volume-title":"Proceedings of the Second Symposium on Quantum Interaction (QI)","author":"Clark","year":"2008"},{"key":"S0960129518000324_ref41","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1111"},{"key":"S0960129518000324_ref38","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1079"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129518000324","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T08:19:23Z","timestamp":1558685963000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129518000324\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,10]]},"references-count":53,"journal-issue":{"issue":"06","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["S0960129518000324"],"URL":"https:\/\/doi.org\/10.1017\/s0960129518000324","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,10]]}}}