scientific article; zbMATH DE number 7809759

arXiv2303.15788MaRDI QIDQ6202802

Tikhon Pshenitsyn

Publication date: 27 February 2024

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Decision problems for propositional linear logic
• The Lambek calculus enriched with additional connectives
• A tutorial on graph transformation
• Hypergraph Lambek grammars
• Soft subexponentials and multiplexing
• The Mathematics of Sentence Structure
• Handbook of Graph Grammars and Computing by Graph Transformation
• Storage Operators and Multiplicative Quantifiers in Many-valued Logics
• COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
• Linguistic application of first order intuitionistic linear logic

This page was built for publication: