A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
- Submitting institution
-
University College London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 16228
- Type
- D - Journal article
- DOI
-
10.1017/S0960129518000324
- Title of journal
- MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
- Article number
- 6
- First page
- 783
- Volume
- 29
- Issue
- 6
- ISSN
- 0960-1295
- Open access status
- Technical exception
- Month of publication
- April
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- 1
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This work developed a new theory of quantification that unifies logical and statistical models of natural language, which was seen as a long-standing problem. The novel use of bialgebras enabled proving standard logical results: equivalences of multi-quantifier cases, conservativity, soundness/completeness. The work has led to the IE161631 Royal Society International Exchange Award after a keynote talk at the Logic, Language, Information Conference. I was invited to present the paper’s results in Applied Category Theory, Formal Grammar, Tbilisi Symposium on Language Logic, Simons Institute’s Compositionality Workshop, British Logic Colloquium, Tungsten Public Lecture, Legacy of Lambek Meeting in Congress of Logic.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -