The Lambek calculus enriched with additional connectives
From MaRDI portal
Publication:1314290
DOI10.1007/BF00171695zbMath0793.03028MaRDI QIDQ1314290
Publication date: 21 August 1994
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Lambek calculus; context-free languages; categorial grammar; recognizing power; intersective conjunction
Related Items
Displacement logic for anaphora, Meeting strength in substructural logics, Connectification for \(n\)-contraction, Type logics and pregroups, Should pregroup grammars be adorned with additional operations?