Models for the Displacement Calculus

DOI10.1007/978-3-662-53042-9_9zbMath1478.03046arXiv1706.03244OpenAlexW2506759131MaRDI QIDQ2835050

Oriol Valentín

Publication date: 1 December 2016

Published in: Formal Grammar (Search for Journal in Brave)

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

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)

Related Items (1)

On the Logic of Expansion in Natural Language

Cites Work

• Unnamed Item
• Hypersequents, logical consequence and intermediate logics for concurrency
• The displacement calculus
• The Mathematics of Sentence Structure
• Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars
• Dutch Grammar and Processing: A Case Study in TLG
• Completeness Results for Lambek Syntactic Calculus
• Extended Lambek Calculi and First-Order Linear Logic

This page was built for publication: Models for the Displacement Calculus