Lambek grammars as combinatory categorial grammars

DOI10.1093/jigpal/9.6.781zbMath1011.03011MaRDI QIDQ3147358

Gerhard Jäger

Publication date: 29 May 2003

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

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

zbMATH Keywords

Lambek calculus; categorial grammars; combinatory categorial grammars

Mathematics Subject Classification ID

03B65: Logic of natural languages

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03B40: Combinatory logic and lambda calculus