Abstract
This paper contributes to the theory of substructural logics that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [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.
Cite
CITATION STYLE
Versmissen, K. (1993). Categorial grammar, modalities and algebraic semantics. In 6th Conference of the European Chapter of the Association for Computational Linguistics, EACL 1993 - Proceedings (pp. 377–383). Association for Computational Linguistics (ACL). https://doi.org/10.3115/976744.976788
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
