The Hidden Structural Rules of the Discontinuous Lambek Calculus

DOI10.1007/978-3-642-54789-8_23zbMath1285.03020arXiv1301.4816OpenAlexW1571143587MaRDI QIDQ5414977

Oriol Valentín

Publication date: 8 May 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Commutative Lambek grammars ⋮ The displacement calculus ⋮ Proof Nets for the Displacement Calculus

Cites Work

• Hypersequents, logical consequence and intermediate logics for concurrency
• The displacement calculus
• The Mathematics of Sentence Structure
• Dutch Grammar and Processing: A Case Study in TLG
• Proof Nets for Basic Discontinuous Lambek Calculus