邹崇理:《范畴类型逻辑》

范畴类型逻辑,也称类型逻辑语法,是近30年来语言和逻辑交叉研究的重要领域。范畴类型逻辑作为一种形式语义理论,在自然语言的计算机处理方向有重要影响。该理论把自然语言的生成毗连看做是范畴的运算和推演,并据此构造自然语言的语句系统,确立直接或间接的语义解释,构造范畴推演的逻辑系统,并配备可能世界的模态语义解释。范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理和形式语义理论研究。因此尽管范畴类型逻辑引入我国学术界的时间不长,但已受到国内逻辑、语言、计算机等学界学者的密切关注。