Commutative Lambek grammars

DOI10.1007/S10849-023-09407-ZMaRDI QIDQ6190089zbMATH OpenOpenAlexFDO

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

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

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)