Versions of a local contraction subexponential in the Lambek calculus

DOI10.1007/s10469-023-09696-0zbMath1515.03222OpenAlexW4367050803MaRDI QIDQ6160496

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

Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) 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)

Cites Work

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

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