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
Lambek calculuslinear logicpregroupstring diagramcompact closed categoryBaez-Stay diagramcategorial grammarsdistributional compositional categorical model of meaningmonoidal closed categoryproof netvector space semantics
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)
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