Polarized Classical Non-associative Lambek Calculus and Formal Semantics

DOI10.1007/978-3-642-22221-4_3zbMath1333.03094OpenAlexW1572638518MaRDI QIDQ3010334

Arno Bastenhof

Publication date: 1 July 2011

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

Full work available at URL: https://dspace.library.uu.nl/handle/1874/220364

Mathematics Subject Classification ID

Logic of natural languages (03B65) Linguistics (91F20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Strong and Weak Quantifiers in Focused NL$$_{\text {CL}}$$

This page was built for publication: Polarized Classical Non-associative Lambek Calculus and Formal Semantics