Gaifman's theorem on categorial grammars revisited

DOI10.1007/BF00374049MaRDI QIDQ1115429zbMATH OpenOpenAlexFDO

Authors 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

calculus of syntactic typescategorial grammarscontext-free grammarsLambek calculus

Mathematics Subject Classification ID

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

Review text

Using Lambek's calculus of syntactic types a new proof of Gaifman's theorem on the equivalence of standard categorial grammars and context- free grammars is obtained.

Cites work

• A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
• Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
• Essays in logical semantics
• scientific article; zbMATH DE number 3854429 (Why is no real title available?)
• scientific article; zbMATH DE number 4002071 (Why is no real title available?)
• scientific article; zbMATH DE number 4002073 (Why is no real title available?)
• scientific article; zbMATH DE number 4002074 (Why is no real title available?)
• scientific article; zbMATH DE number 4045723 (Why is no real title available?)
• scientific article; zbMATH DE number 3254899 (Why is no real title available?)
• Optimization of LR(k) parsers
• The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars
• The Mathematics of Sentence Structure

Cited in

(5)

• Algebraic structures in categorial grammar
• Extending Lambek grammars to basic categorial grammars
• Multimodal linguistic inference
• scientific article; zbMATH DE number 3957068 (Why is no real title available?)
• The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars

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

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