Multimodality in the Hypergraph Lambek Calculus

DOI10.4204/EPTCS.381.6arXiv2308.04520OpenAlexW4385448410MaRDI QIDQ6196502FDOQ6196502

Authors: 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

Recommendations

• Hypergraph Lambek grammars
• Proof nets for the multimodal Lambek calculus
• From double pushout grammars to hypergraph Lambek grammars with and without exponential modality
• scientific article; zbMATH DE number 757643
• Extensions of Lambek calculi

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• From double pushout grammars to hypergraph Lambek grammars with and without exponential modality

This page was built for publication: Multimodality in the Hypergraph Lambek Calculus

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