scientific article; zbMATH DE number 7454902

zbMath1477.03111arXiv2101.10486MaRDI QIDQ5019675

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

Publication date: 10 January 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Uses Software

• word2vec
• GloVe

Cites Work

• Unnamed Item
• Unnamed Item
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Sentence entailment in compositional distributional semantics
• Bounded linear logic: A modular approach to polynomial-time computability
• Coherent diagrammatic reasoning in compositional distributional semantics
• Hopf monads
• A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction
• Undecidability of the Lambek Calculus with a Relevant Modality
• On the Logic of Expansion in Natural Language
• Physics, Topology, Logic and Computation: A Rosetta Stone
• A Survey of Graphical Languages for Monoidal Categories
• Differential categories
• Introduction to Information Retrieval
• Multimodal Linguistic Inference
• The Frobenius anatomy of word meanings I: subject and object relative pronouns
• Introduction to Lie Algebras and Representation Theory
• Holomorphic models of exponential types in linear logic

This page was built for publication: