On Lambek's restriction in the presence of exponential modalities

DOI10.1007/978-3-319-27683-0_11zbMATH Open1476.03026OpenAlexW2239942373MaRDI QIDQ5283424FDOQ5283424

Authors: Max Kanovich, Stepan Kuznetsov, Andre Scedrov 

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27683-0_11

Recommendations

• Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities
• Undecidability of the Lambek calculus with a relevant modality
• Undecidability of the Lambek calculus with subexponential and bracket modalities
• Lambek calculus with restricted contraction and expansion
• Extensions of Lambek calculi

zbMATH Keywords

linear logicundecidabilityLambek calculusexponential modalitiesLambek's restriction

Mathematics Subject Classification ID

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)

Cites Work

• Decision problems for propositional linear logic
• Lambek calculus is NP-complete
• Linear logic
• Quantales and (noncommutative) linear logic
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• The Mathematics of Sentence Structure
• Some Decision Problems in the Theory of Syntactic Categories
• Logic Programming with Focusing Proofs in Linear Logic
• Lambek Grammars with One Division Are Decidable in Polynomial Time
• Product-Free Lambek Calculus Is NP-Complete
• Title not available (Why is that?)
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• Focusing in Linear Meta-logic

Cited In (8)

• Classical conservative extensions of Lambek calculus
• Subexponentials in non-commutative linear logic
• Title not available (Why is that?)
• Versions of a local contraction subexponential in the Lambek calculus
• Full Lambek Calculus in natural deduction
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• Undecidability of the Lambek Calculus with a Relevant Modality
• Lambek calculus with restricted contraction and expansion

This page was built for publication: On Lambek's restriction in the presence of exponential modalities

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