Count-invariance including exponentials

MaRDI QIDQ4599224zbMATH OpenFDO

Authors Glyn Morrill, Oriol Valentín, Stepan Kuznetsov

Publication date 18 December 2017

Full work available at URL https://aclweb.org/anthology/W/W17/W17-3413.pdf

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• A count invariant for Lambek calculus with additives and bracket modalities
• Parsing/theorem-proving for logical grammar \textit{CatLog3}
• Abstract categorial parsing as linear logic programming
• On the logic of expansion in natural language
• A categorial type logic

Cited in

(3)

• Parsing/theorem-proving for logical grammar \textit{CatLog3}
• A count invariant for Lambek calculus with additives and bracket modalities
• Bracket induction for Lambek calculus with bracket modalities

This page was built for publication: Count-invariance including exponentials

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