scientific article; zbMATH DE number 4002074

MaRDI QIDQ3754605zbMATH OpenFDO

Authors Wojciech Buszkowski

Publication date 1986

zbMATH Keywords

categorial grammarscontext-free grammarsLambek calculusstrong equivalenceweak equivalence

Mathematics Subject Classification ID

Logic of natural languages (03B65) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 68516
• The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
• On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
• Distributive full nonassociative Lambek calculus with \(\mathrm{S4}\)-modalities is context-free
• Nonassociative Lambek Calculus with Additives and Context-Free Languages

Cited in

(22)

• On the complexity of nonassociative Lambek calculus with unit
• Gaifman's theorem on categorial grammars revisited
• Algebraic structures in categorial grammar
• Extending Lambek grammars to basic categorial grammars
• S4 enriched multimodal categorial grammars are context-free
• Type logics and pregroups
• On the logic of -pregroups
• On classical nonassociative Lambek calculus
• The generative capacity of the Lambek-Grishin calculus: a new lower bound
• Lambek grammars as combinatory categorial grammars
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
• Phrase Structure Languages Generated by Categorial Grammars With Product
• scientific article; zbMATH DE number 68516 (Why is no real title available?)
• scientific article; zbMATH DE number 1341535 (Why is no real title available?)
• scientific article; zbMATH DE number 549973 (Why is no real title available?)
• Normal form of derivations in the nonassociative and commutative lambek calculus with product
• scientific article; zbMATH DE number 1998331 (Why is no real title available?)
• On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
• Distributive full nonassociative Lambek calculus with \(\mathrm{S4}\)-modalities is context-free
• Multi-sorted residuation
• An agda formalization of nonassociative Lambek calculus and its metatheory

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