Talking about Explicit Databases in Categorial Grammar

DOI10.1093/jigpal/3.2-3.357zbMath0826.03004OpenAlexW1985175131MaRDI QIDQ4842278

Natasha Kurtonina

Publication date: 28 November 1995

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

Full work available at URL: https://doi.org/10.1093/jigpal/3.2-3.357

zbMATH Keywords

cut eliminationLambek calculuscategorial grammarlabelled deductive systemsternary relation semanticslabelled proof theorylinguistic application

Mathematics Subject Classification ID

Database theory (68P15) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22)

Related Items (4)

Multimodal linguistic inference ⋮ Unnamed Item ⋮ Optionality, scope, and licensing: An application of partially ordered categories ⋮ Non-associative, non-commutative multi-modal linear logic

This page was built for publication: Talking about Explicit Databases in Categorial Grammar