Residuation, structural rules and context freeness

DOI10.1023/A:1026175817625MaRDI QIDQ1424968zbMATH OpenOpenAlexFDO

Authors Gerhard Jäger

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

zbMATH Keywords

categorial grammargenerative capacitymathematical linguisticsmultimodal type logical grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• On Residuation
• scientific article; zbMATH DE number 218501
• scientific article; zbMATH DE number 549973
• Logic and grammar
• Product-free Lambek calculus and context-free grammars

Cited in

(9)

• 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
• Extensions of Lambek calculi
• Multi-sorted residuation
• Complexity of the universal theory of residuated ordered groupoids
• Decidability of topological quasi-Boolean algebras
• An agda formalization of nonassociative Lambek calculus and its metatheory

This page was built for publication: Residuation, structural rules and context freeness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1424968)