混合范畴类型逻辑系统的构造及应用

根据是否包含结合性和交换性结构规则可产生四个兰贝克演算系统.使用任何一个系统分析语言都只具有有限的价值,因此需要具有不同描述模式的多模态范畴系统.一个方法是利用结构模态词受控地引入结构规则,但是结构模态词的广泛使用导致了分析的复杂化,促使人们选择尽可能强的系统作为基层逻辑,这样却遗失了可能有用的语料敏感性.另一个选择是合并多个子结构逻辑,限制结构规则,增加连接各子结构层面的包含规则,产生了混合范畴类型逻辑.它使用较弱的逻辑构造词汇类型,保留了语料敏感性,同时混合系统中的较强逻辑保持了对语言对象信息的描述灵活性,这些优点很好地解释了提取、汉语话题句和非成分并列组合等现象.