Product-free Lambek calculus and context-free grammars

DOI10.2307/2275553zbMATH Open0882.68084OpenAlexW2115861484MaRDI QIDQ4358060FDOQ4358060

Authors: Mati Pentus 

Publication date: 4 February 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275553

Recommendations

• scientific article; zbMATH DE number 549973
• On the recognizing power of the Lambek calculus with brackets
• scientific article; zbMATH DE number 1341928
• Lambek grammars with one division and one primitive type
• Nonassociative Lambek Calculus with Additives and Context-Free Languages

zbMATH Keywords

Lambek calculusChomsky conjecture

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Cites Work

• The Mathematics of Sentence Structure
• The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars
• The equivalence of two concepts of categorial grammar
• Language in action

Cited In (22)

• Lambek calculus for transformational grammar
• A note on the strong and weak generative powers of formal systems
• A graph-theoretic approach to sequent derivability in the Lambek calculus
• On the recognizing power of the Lambek calculus with brackets
• The emptiness of intersection problem for languages of \(k\)-valued categorial grammars (classical and Lambek) is undecidable
• S4 enriched multimodal categorial grammars are context-free
• Parsing pregroup grammars and Lambek calculus using partial composition
• Algebraic structures in categorial grammar
• Powerful and NP-complete: hypergraph Lambek grammars
• Lambek grammars with one division and one primitive type
• Undecidability of the Lambek calculus with a relevant modality
• Computing interpolants in implicational logics
• Title not available (Why is that?)
• Residuation, structural rules and context freeness
• Extended Lambek calculi and first-order linear logic
• The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars
• Pomset logic. The other approach to noncommutativity in logic
• Kleene star, subexponentials without contraction, and infinite computations
• A restricted fragment of the Lambek calculus with iteration and intersection operations
• Logical Aspects of Computational Linguistics
• The Pentus theorem for Lambek calculus with simple nonlogical axioms
• On translating context-free grammars into Lambek grammars

This page was built for publication: Product-free Lambek calculus and context-free grammars

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