Extractability as the deduction theorem in subdirectional combinatory logic

DOI10.1007/978-3-642-31262-5_13MaRDI QIDQ4981257zbMATH OpenOpenAlexFDO

Authors Hiroko Ozaki, Daisuke Bekki

Publication date 24 June 2014

Published in Logical Aspects of Computational Linguistics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-31262-5_13

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic of natural languages (03B65)

Recommendations

• Lambek grammars as combinatory categorial grammars
• Categorial grammar and type theory
• scientific article; zbMATH DE number 894192
• A tale of four grammars
• scientific article; zbMATH DE number 4137754

Cited in

(2)

• Implementing variable vectors in a CCG parser
• Formalizing argument structures with combinatory categorial grammar

This page was built for publication: Extractability as the deduction theorem in subdirectional combinatory logic

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