Lambek grammars as combinatory categorial grammars

DOI10.1093/JIGPAL/9.6.781zbMATH Open1011.03011OpenAlexW2001097689MaRDI QIDQ3147358FDOQ3147358

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

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

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)

Cited In (5)

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

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)