Proof Nets for Basic Discontinuous Lambek Calculus

DOI10.1093/LOGCOM/EXM089zbMath1140.03008OpenAlexW2131948319MaRDI QIDQ5385203

Mario Fadda, Glyn Morrill

Publication date: 5 May 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exm089

zbMATH Keywords

continuityLambek calculusdiscontinuityproof netshypersequent calculus

Mathematics Subject Classification ID

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

Related Items (8)

Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \) ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ The displacement calculus ⋮ Extended Lambek Calculi and First-Order Linear Logic ⋮ The Hidden Structural Rules of the Discontinuous Lambek Calculus ⋮ Continuation semantics for the Lambek-Grishin calculus ⋮ Dutch Grammar and Processing: A Case Study in TLG ⋮ Proof Nets for the Displacement Calculus

This page was built for publication: Proof Nets for Basic Discontinuous Lambek Calculus