Categorial grammar, modalities and algebraic semantics

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.

• Type: Conference
• Year: 1993
• Where: EACL
• Authors: Koen Versmissen
• Keywords: Categorial Grammarians, EACL 1993, Natural Language Processing, Proof-theoretic Ideas, Substructural Logics