Multimodality in the Hypergraph Lambek Calculus

DOI10.4204/EPTCS.381.6MaRDI QIDQ6196502zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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)