The multiplicative-additive Lambek calculus with subexponential and bracket modalities

DOI10.1007/s10849-020-09320-9zbMath1496.03087arXiv2008.00075OpenAlexW3093575955MaRDI QIDQ2035845

Stepan Kuznetsov, Andrej Scedrov, Max I. Kanovich

Publication date: 25 June 2021

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

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

zbMATH Keywords

undecidabilitycut eliminationLambek calculuscategorial grammarsbracket modalitiessubexponential modalities

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic, Non-associative, non-commutative multi-modal linear logic

Uses Software

• CatLog3
• Lolli

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conjunctive and Boolean grammars: the true general case of the context-free grammars
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• On translating Lambek grammars with one division into context-free grammars
• Linear logic
• On the unity of logic
• Infinitary action logic: complexity, models and grammars
• Unidirectional Lambek grammars in polynomial time
• Decision problems for propositional linear logic
• The Lambek calculus enriched with additional connectives
• Logic programming in a fragment of intuitionistic linear logic
• On the recognizing power of the Lambek calculus with brackets
• Undecidability of the Lambek calculus with subexponential and bracket modalities
• The Lambek calculus with iteration: two variants
• On the generative capacity of multi-modal categorial grammars
• A logical framework with commutative and non-commutative subexponentials
• Untersuchungen über das logische Schliessen. I
• Multimodal linguistic inference
• Parsing/theorem-proving for logical grammar \textit{CatLog3}
• Lambek calculus is NP-complete
• On the complexity of reasoning in Kleene algebra
• Undecidability of the Lambek Calculus with a Relevant Modality
• Lambek grammars with one division and one primitive type
• Lambek Grammars with the Unit
• The Mathematics of Sentence Structure
• Some Decision Problems in the Theory of Syntactic Categories
• A new constructive logic: classic logic
• Logic Programming with Focusing Proofs in Linear Logic
• A cut-free Gentzen formulation of the modal logic S5
• Recursive Unsolvability of a problem of Thue
• Multiple conclusion linear logic: cut elimination and more
• Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities
• The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars
• Subexponentials in non-commutative linear logic
• On Lambek’s Restriction in the Presence of Exponential Modalities
• Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives
• A Categorial Type Logic
• Generalized Categorial Dependency Grammars
• A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
• Three models for the description of language
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• Bracket induction for Lambek calculus with bracket modalities