The Generative Capacity of the Lambek–Grishin Calculus: A New Lower Bound
From MaRDI portal
Publication:2999260
DOI10.1007/978-3-642-20169-1_8zbMath1325.03030MaRDI QIDQ2999260
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
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