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

arXiv2303.15788MaRDI QIDQ6202802FDOQ6202802

Authors: Tikhon Pshenitsyn 

Publication date: 27 February 2024

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

Recommendations

• Hypergraph Lambek grammars
• Grammars based on a logic of hypergraph languages
• Powerful and NP-complete: hypergraph Lambek grammars
• Multimodality in the Hypergraph Lambek Calculus
• Hypergraph basic categorial grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Decision problems for propositional linear logic
• Handbook of Graph Grammars and Computing by Graph Transformation
• The Mathematics of Sentence Structure
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• The Lambek calculus enriched with additional connectives
• Soft subexponentials and multiplexing
• Linguistic application of first order intuitionistic linear logic
• An infinitary sequent system for the equational theory of *-continuous action lattices
• A tutorial on graph transformation
• Hypergraph Lambek grammars
• Complexity of the infinitary Lambek calculus with Kleene star

Cited In (1)

• Multimodality in the Hypergraph Lambek Calculus

This page was built for publication: From double pushout grammars to hypergraph Lambek grammars with and without exponential modality

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