A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction

DOI10.1007/S10849-019-09293-4zbMath1477.03115arXiv1905.01647OpenAlexW2943342065WikidataQ126177659 ScholiaQ126177659MaRDI QIDQ2425336

Mehrnoosh Sadrzadeh, Gijs Jasper Wijnholds

Publication date: 26 June 2019

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1905.01647

zbMATH Keywords

ellipsislambda calculusnon-linearitycompositional distributional semanticstypelogical grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ Pregroup Grammars, Their Syntax and Semantics

Uses Software

• word2vec

Cites Work

• Unnamed Item
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Computational interpretations of linear logic
• Anaphora and type logical grammar
• A Compositional Distributional Inclusion Hypothesis
• Context Update for Lambdas and Vectors
• No-Cloning In Categorical Quantum Mechanics
• Pseudogapping as Pseudo-VP Ellipsis
• A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
• The Frobenius anatomy of word meanings I: subject and object relative pronouns
• The Frobenius anatomy of word meanings II: possessive relative pronouns
• Bases as Coalgebras

This page was built for publication: A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction