Versions of a local contraction subexponential in the Lambek calculus

DOI10.1007/S10469-023-09696-0MaRDI QIDQ6160496zbMATH OpenOpenAlexFDO

Authors M. V. Valinkin

Publication date 10 May 2023

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-023-09696-0

zbMATH Keywords

Lambek calculuslocal contraction subexponential

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Undecidability and degrees of sets of sentences (03D35) Cut-elimination and normal-form theorems (03F05) 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
• On Lambek's restriction in the presence of exponential modalities
• Undecidability of the Lambek calculus with subexponential and bracket modalities
• Lambek calculus with restricted contraction and expansion
• FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE

Cites work

• FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
• Lambek calculus and its relational semantics: Completeness and incompleteness
• Linear logic
• Subexponentials in non-commutative linear logic
• The Mathematics of Sentence Structure
• Undecidability of the Lambek calculus with a relevant modality

Cited in

(3)

• scientific article; zbMATH DE number 847946 (Why is no real title available?)
• Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities
• Relational models for the Lambek calculus with local contraction subexponentials

This page was built for publication: Versions of a local contraction subexponential in the Lambek calculus

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