Product-free Lambek calculus and context-free grammars

DOI10.2307/2275553MaRDI QIDQ4358060zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Lambek calculusChomsky conjecture

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(22)

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

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)