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

DOI10.1016/j.apal.2013.05.009zbMath1280.03026arXiv1302.0393OpenAlexW2058503912MaRDI QIDQ388206

Edward Grefenstette, Bob Coecke, Mehrnoosh Sadrzadeh

Publication date: 19 December 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

Lambek calculuslinear logicpregroupstring diagramcompact closed categoryBaez-Stay diagramcategorial grammarsdistributional compositional categorical model of meaningmonoidal closed categoryproof netvector space semantics

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (17)

Gaussianity and typicality in matrix distributional semantics ⋮ Generalized relations in linguistics \& cognition ⋮ Equational Reasoning with Context-Free Families of String Diagrams ⋮ Uniqueness of Composition in Quantum Theory and Linguistics ⋮ A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction ⋮ Unnamed Item ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ DisCoCat for Donkey Sentences ⋮ Unnamed Item ⋮ A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Distributional Semantics: A Montagovian View ⋮ Abstract Tensor Systems as Monoidal Categories ⋮ Linguistic matrix theory ⋮ The Mathematics of Text Structure ⋮ Pregroup Grammars, Their Syntax and Semantics ⋮ Quantum computations for disambiguation and question answering

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topological quantum field theories
• Algebra of proofs
• A computational algebraic approach to Latin grammar
• Symmetric categorial grammar
• On some connections between logic and category theory
• Continuation semantics for the Lambek-Grishin calculus
• Toward discourse representation via pregroup grammars
• Coherence for compact closed categories
• The geometry of tensor calculus. I
• Proof nets for the multimodal Lambek calculus
• Multimodal linguistic inference
• The displacement calculus
• Physics, Topology, Logic and Computation: A Rosetta Stone
• The Mathematics of Sentence Structure
• Free compact 2-categories
• Ludics and Its Applications to Natural Language Semantics
• Proof Nets for Lambek Calculus
• Higher-dimensional algebra and topological quantum field theory
• Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics
• A categorical quantum logic

This page was built for publication: Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus