For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

Queen Mary University of London

Return to search Previous output Next output
Output 39 of 83 in the submission
Article title

Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus

Type
D - Journal article
Title of journal
Annals of Pure and Applied Logic
Article number
11
Volume number
164
Issue number
11
First page of article
1079
ISSN of journal
01680072
Year of publication
2013
Number of additional authors
2
Additional information

<22>This sets out a formal link between Lambek Calculus, the current standard formal type-logic for natural language and the Quantum Linguistics approach, in the process correcting a significant deficiency of the previous model. As a result we have developed a statistical semantics for Lambek Calculus, and advanced its use a step closer to large-scale application domains, and in particular opened up the possibility of using the structural grammars developed using Lambek Calculus in the context of statistical corpora, eg in web search.

Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-