Grammars based on a logic of hypergraph languages

DOI10.4204/eptcs.350.1MaRDI QIDQ6649532

Tikhon Pshenitsyn

Publication date: 6 December 2024

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Hyperedge replacement: grammars and languages
• Models for the Lambek calculus
• Powerful and NP-complete: hypergraph Lambek grammars
• The Mathematics of Sentence Structure
• Handbook of Graph Grammars and Computing by Graph Transformation
• Hypergraph Basic Categorial Grammars

This page was built for publication: Grammars based on a logic of hypergraph languages