Clausal Proofs and Discontinuity

DOI10.1093/JIGPAL/3.2-3.403MaRDI QIDQ4842280zbMATH OpenOpenAlexFDO

Authors Glyn Morrill

Publication date 13 December 1995

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/f34a920cb734b60322da84da2c25eae95dd229ba

zbMATH Keywords

categorial logicsdiscontinuitylanguage generationlinear logicmultimodal Lambek calculusparsing-as-deductionproof netsprosodicssemantic algebrasemanticsSLD-resolutiontyped lambda termsunification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Theory of compilers and interpreters (68N20) Natural language processing (68T50)

Recommendations

• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• On the generative power of discontinuous Lambek calculus
• Proof nets for the multimodal Lambek calculus
• Parsing/theorem-proving for logical grammar \textit{CatLog3}
• The displacement calculus

Cited in

(7)

• Using tableaux to automate the Lambek and other categorial calculi
• Characterizing logic grammars: A substructural logic approach
• scientific article; zbMATH DE number 1341538 (Why is no real title available?)
• A Hypothetical Reasoning Algorithm for Linguistic Analysis
• Grammar specification in categorial logics and theorem proving
• A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency
• On the generative power of discontinuous Lambek calculus

This page was built for publication: Clausal Proofs and Discontinuity

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