The Generative Capacity of the Lambek–Grishin Calculus: A New Lower Bound

DOI10.1007/978-3-642-20169-1_8zbMath1325.03030MaRDI QIDQ2999260

Matthijs Melissen

Publication date: 11 May 2011

Published in: Formal Grammar (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20169-1_8

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03B65: Logic of natural languages

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

Related Items

Symmetric categorial grammar