A dynamic programming approach to categorical deduction

DOI10.1007/3-540-48660-7_1MaRDI QIDQ4263153zbMATH OpenFDO

Authors Philippe de Groote

Publication date 13 June 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48660-7_1

zbMATH Keywords

automatic categorial deduction algorithmcategorial grammarscontext-free parsingLambek calculusnoncommutative proof-netprovability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Structure of proofs (03F07) Grammars and rewriting systems (68Q42)

Recommendations

• Using tableaux to automate the Lambek and other categorial calculi
• A graph-theoretic approach to sequent derivability in the Lambek calculus
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Abstract categorial parsing as linear logic programming
• Non‐associative Lambek Categorial Grammar in Polynomial Time

Cited in

(14)

• Using tableaux to automate the Lambek and other categorial calculi
• Parsing pregroup grammars and Lambek calculus using partial composition
• Deterministic Caterpillar Expressions
• Categorial Semantics of a Solution to Distributed Dining Philosophers Problem
• Deduction as reduction, from a categorical point of view
• A Hypothetical Reasoning Algorithm for Linguistic Analysis
• An abductive mechanism for natural language processing based on Lambek calculus
• On mixing deduction and substitution in Lambek categorial grammars
• Abstract categorial parsing as linear logic programming
• Grammar specification in categorial logics and theorem proving
• scientific article; zbMATH DE number 910440 (Why is no real title available?)
• Stochastic Lambek categorial grammars
• A graph-theoretic approach to sequent derivability in the Lambek calculus
• scientific article; zbMATH DE number 7204441 (Why is no real title available?)

This page was built for publication: A dynamic programming approach to categorical deduction

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