Gaifman's theorem on categorial grammars revisited

DOI10.1007/BF00374049zbMath0664.03025OpenAlexW2020695920MaRDI QIDQ1115429

Wojciech Buszkowski

Publication date: 1988

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00374049

zbMATH Keywords

context-free grammarsLambek calculuscategorial grammarscalculus of syntactic types

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic of natural languages (03B65) General logic (03B99)

Related Items (3)

Extending Lambek grammars to basic categorial grammars ⋮ Multimodal linguistic inference ⋮ Algebraic structures in categorial grammar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Essays in logical semantics
• Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
• Optimization of LR(k) parsers
• The Mathematics of Sentence Structure
• The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars
• A New Normal-Form Theorem for Context-Free Phrase Structure Grammars

This page was built for publication: Gaifman's theorem on categorial grammars revisited