scientific article; zbMATH DE number 1998331

MaRDI QIDQ4432965zbMATH OpenFDO

Authors MacIej Kandulski

Publication date 2003

zbMATH Keywords

categorial grammarsderived tree languagesLambek calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 68516
• Normal form of derivations in the nonassociative and commutative lambek calculus with product
• scientific article; zbMATH DE number 4002074
• Categorial Grammars and Tree Languages
• scientific article; zbMATH DE number 4134014

Cited in

(5)

• Tree models and (labeled) categorial grammar
• Normal form of derivations in the nonassociative and commutative lambek calculus with product
• Categorial Grammars and Tree Languages
• Logical Aspects of Computational Linguistics
• A faithful representation of non-associative Lambek grammars in abstract categorial grammars

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 Q4432965)