Using tableaux to automate the Lambek and other categorial calculi

DOI10.1006/INCO.1999.2853MaRDI QIDQ1854380zbMATH OpenOpenAlexFDO

Authors Saturnino F. Luz

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1999.2853

zbMATH Keywords

automated theorem provingcategorial grammarslabeled analytic tableauxlabeled deductionLambek calculusLLKE tableaux systemnatural language processing

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• Grammar specification in categorial logics and theorem proving
• scientific article; zbMATH DE number 1341604
• A tableau method for the Lambek calculus based on a matrix characterization
• An analytic tableau system for natural logic
• The logic of categorial grammars. A deductive account of natural language syntax and semantics

Cites work

• A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
• Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes
• Clausal Proofs and Discontinuity
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Lambek calculus and its relational semantics: Completeness and incompleteness
• On the Logic of Information Flow
• The Mathematics of Sentence Structure
• The Taming of the Cut. Classical Refutations with Analytic Cut

Cited in

(7)

• scientific article; zbMATH DE number 1341480 (Why is no real title available?)
• scientific article; zbMATH DE number 1341604 (Why is no real title available?)
• scientific article; zbMATH DE number 1759371 (Why is no real title available?)
• Grammar specification in categorial logics and theorem proving
• Talking about Explicit Databases in Categorial Grammar
• A tableau method for the Lambek calculus based on a matrix characterization
• An analytic tableau system for natural logic

This page was built for publication: Using tableaux to automate the Lambek and other categorial calculi

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