Lambek grammars as combinatory categorial grammars

DOI10.1093/JIGPAL/9.6.781MaRDI QIDQ3147358zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger

Publication date 29 May 2003

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/f3d3067dc37494213d6af28e57a9bf401ca961fb

zbMATH Keywords

Lambek calculuscategorial grammarscombinatory categorial grammars

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 68516
• scientific article; zbMATH DE number 4002074
• On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars
• scientific article; zbMATH DE number 4137754
• The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars

Cited in

(5)

• Lambek calculus for transformational grammar
• Combinators and categorial grammar
• A Lambek Automaton
• Extractability as the deduction theorem in subdirectional combinatory logic
• The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars

This page was built for publication: Lambek grammars as combinatory categorial grammars

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