Commutative Lambek grammars

DOI10.1007/s10849-023-09407-zOpenAlexW4388022675MaRDI QIDQ6190089

Tikhon Pshenitsyn

Publication date: 6 February 2024

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-023-09407-z

zbMATH Keywords

Lambek calculusformal languagesemilinear setcategorial grammarvector addition systembranching vector addition system with states

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Multiset theory
• Language in action
• A simplified proof of Parikh's theorem
• The Lambek calculus enriched with additional connectives
• Full intuitionistic linear logic
• Petri nets, Horn programs, linear logic and vector games
• The complexity of multiplicative-additive Lambek calculus: 25 years later
• Semigroups, Presburger formulas, and languages
• Parallel program schemata
• The Mathematics of Sentence Structure
• The Hidden Structural Rules of the Discontinuous Lambek Calculus
• Bounded Algol-Like Languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Commutative Lambek grammars