Residuation, structural rules and context freeness
From MaRDI portal
Publication:1424968
DOI10.1023/A:1026175817625zbMath1039.03018MaRDI QIDQ1424968
Publication date: 15 March 2004
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026175817625
03B65: Logic of natural languages
Related Items
Extensions of Lambek Calculi, Multi-Sorted Residuation, Complexity of the universal theory of residuated ordered groupoids, On the complexity of nonassociative Lambek calculus with unit, Semantic bootstrapping of type-logical grammar, S4 enriched multimodal categorial grammars are context-free, Type logics and pregroups