On Lambek's restriction in the presence of exponential modalities

DOI10.1007/978-3-319-27683-0_11MaRDI QIDQ5283424zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(13)

• Lambek calculus with restricted contraction and expansion
• The multiplicative-additive Lambek calculus with subexponential and bracket modalities
• Subexponentials in non-commutative linear logic
• Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities
• Versions of a local contraction subexponential in the Lambek calculus
• A tableau method for the Lambek calculus based on a matrix characterization
• Non-associative Lambek calculus with modalities: interpolation, complexity and FEP
• Classical conservative extensions of Lambek calculus
• Full Lambek Calculus in natural deduction
• Undecidability of the Lambek calculus with subexponential and bracket modalities
• Extensions of Lambek calculi
• Undecidability of the Lambek calculus with a relevant modality
• scientific article; zbMATH DE number 847946 (Why is no real title available?)

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)