Paper: Categorial Grammar Modalities And Algebraic Semantics

ACL ID E93-1044
Title Categorial Grammar Modalities And Algebraic Semantics
Venue Annual Meeting of The European Chapter of The Association of Computational Linguistics
Session Main Conference
Year 1993
Authors

This paper contributes to the theory of substructural logics.that are of interest to categorial grammarians. Combining se- mantic ideas of Hepple [1990] and Mor- rill [1990], proof-theoretic ideas of Venema [1993b; 1993a] and the theory of equational specifications, a class of resource-preserving logics is defined, for which decidability and completeness theorems are established.