scientific article; zbMATH DE number 1341604

MaRDI QIDQ4263153zbMATHFDO

Authors Philippe de Groote

Publication date 13 June 2000

zbMATH Keywords

Lambek calculusprovabilitycategorial grammarscontext-free parsingautomatic categorial deduction algorithmnoncommutative proof-net

Mathematics Subject Classification ID

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

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)

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

This page was built for publication:

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