Multimodality in the Hypergraph Lambek Calculus

DOI10.4204/eptcs.381.6arXiv2308.04520OpenAlexW4385448410MaRDI QIDQ6196502

Tikhon Pshenitsyn

Publication date: 14 March 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic in computer science (03B70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Multimodal linguistic inference
• Hypergraph Lambek grammars
• The displacement calculus
• The Mathematics of Sentence Structure
• Handbook of Graph Grammars and Computing by Graph Transformation
• Extended Lambek Calculi and First-Order Linear Logic
• Linguistic application of first order intuitionistic linear logic