从语言到逻辑--范畴类型逻辑序列

• 作者: 邹崇理
• 来源期刊: 重庆工学院学报
• 学科: 哲学
• 关键词: 范畴类型逻辑 自然语言 范畴运算
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 本刊专稿
• 页码范围: 1-7
• 页数: 7页
• 分类号: B81
• 字数: 6576字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425-B.2006.04.001

摘要

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论.该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释.另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释.范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邹崇理	中国社会科学院哲学所	54	143	7.0	9.0