从语言到逻辑--范畴类型逻辑序列
范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论.该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释.另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释.范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究.
作 者： 邹崇理 ZOU Chong-li 作者单位： 中国社会科学院,哲学所,北京,100732 刊 名： 重庆工学院学报 ISTIC 英文刊名： JOURNAL OF CHONGQING INSTITUTE OF TECHNOLOGY 年，卷(期)： 2006 20(4) 分类号： B81 关键词： 范畴类型逻辑 自然语言 范畴运算