Proof Nets for Basic Discontinuous Lambek Calculus

DOI10.1093/LOGCOM/EXM089MaRDI QIDQ5385203zbMATH OpenOpenAlexFDO

Authors Glyn Morrill, Mario Fadda

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

continuitydiscontinuityhypersequent calculusLambek calculusproof nets

Mathematics Subject Classification ID

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

Recommendations

• A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency
• Proof nets for the displacement calculus
• Proof nets for the multimodal Lambek calculus
• The hidden structural rules of the discontinuous Lambek calculus
• The conjoinability relation in discontinuous Lambek calculus

Cited in

(11)

• Parsing/theorem-proving for logical grammar \textit{CatLog3}
• The displacement calculus
• Proof nets for the displacement calculus
• Dutch Grammar and Processing: A Case Study in TLG
• A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency
• Extended Lambek calculi and first-order linear logic
• Conjoinability in 1-discontinuous Lambek calculus
• The hidden structural rules of the discontinuous Lambek calculus
• scientific article; zbMATH DE number 6296859 (Why is no real title available?)
• Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \)
• Continuation semantics for the Lambek-Grishin calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5385203)