Proof Nets for the Displacement Calculus

DOI10.1007/978-3-662-53042-9_16zbMath1478.03082arXiv1606.01720OpenAlexW2409411358MaRDI QIDQ2835060

Richard Moot

Publication date: 1 December 2016

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

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

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Parsing/theorem-proving for logical grammar \textit{CatLog3}

Cites Work

• Proof nets for the multimodal Lambek calculus
• The displacement calculus
• Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday
• Lambek calculus is NP-complete
• Proof Nets for Basic Discontinuous Lambek Calculus
• Extended Lambek Calculi and First-Order Linear Logic
• The Hidden Structural Rules of the Discontinuous Lambek Calculus

This page was built for publication: Proof Nets for the Displacement Calculus