Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)

MaRDI QIDQ5019675zbMATH OpenFDO

Authors Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni, Gijs Jasper Wijnholds

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2101.10486, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.12

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Categorical semantics of formal languages (18C50) Natural language processing (68T50)

Recommendations

• Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
• A Frobenius algebraic analysis for parasitic gaps
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
• A Concrete Categorical Model for the Lambek Syntactic Calculus

Cites work

• A survey of graphical languages for monoidal categories
• A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction
• Bounded linear logic: A modular approach to polynomial-time computability
• Coherent diagrammatic reasoning in compositional distributional semantics
• Differential categories
• Holomorphic models of exponential types in linear logic
• Hopf monads
• scientific article; zbMATH DE number 4137754 (Why is no real title available?)
• scientific article; zbMATH DE number 710651 (Why is no real title available?)
• Introduction to Information Retrieval
• Introduction to Lie Algebras and Representation Theory
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Multimodal Linguistic Inference
• On the logic of expansion in natural language
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Sentence entailment in compositional distributional semantics
• The Frobenius anatomy of word meanings. I: Subject and object relative pronouns
• Undecidability of the Lambek calculus with a relevant modality

Cited in

(6)

• An enriched category theory of language: from syntax to semantics
• A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• A Frobenius algebraic analysis for parasitic gaps
• Vector spaces as Kripke frames
• Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality

Describes a project that uses

Uses Software

• GloVe
• word2vec

This page was built for publication: Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019675)