Lambek Grammars with the Unit

DOI10.1007/978-3-642-32024-8_17zbMath1370.03037OpenAlexW205311733MaRDI QIDQ3167313

Stepan Kuznetsov

Publication date: 2 November 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-32024-8_17

Mathematics Subject Classification ID

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

Related Items (4)

On the recognizing power of the Lambek calculus with brackets ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Extensions of Lambek Calculi

This page was built for publication: Lambek Grammars with the Unit