Underspecification in type-logical grammars

Abstract

We show how in a mixed multimodal categorial framework unary modalities can be used to represent morphosyntactic properties of expressions. The residuation logic for the unary connectives, ◊i, □i is used to define a feature checking procedure.Each mode i represents some morphosyntactic feature. Underspecification is dealt with by assuming general modes that are related to specific instances by inclusion postulates.The distribution of features is regulated by means of distribution postulates.The mixed multimodal approach is compared to some other versions of extended categorial grammars that deal with morphosyntactic issues.