Commutative Lambek grammars

DOI10.1007/S10849-023-09407-ZOpenAlexW4388022675MaRDI QIDQ6190089FDOQ6190089

Authors: 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

formal languageLambek calculussemilinear 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

• Semigroups, Presburger formulas, and languages
• Parallel program schemata
• Bounded Algol-Like Languages
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Multiset theory
• The Mathematics of Sentence Structure
• The Lambek calculus enriched with additional connectives
• A simplified proof of Parikh's theorem
• Karp-Miller trees for a branching extension of VASS
• Title not available (Why is that?)
• Petri nets, Horn programs, linear logic and vector games
• Language in action
• Title not available (Why is that?)
• Full intuitionistic linear logic
• The complexity of multiplicative-additive Lambek calculus: 25 years later
• Title not available (Why is that?)
• The hidden structural rules of the discontinuous Lambek calculus

This page was built for publication: Commutative Lambek grammars

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