可能世界的名字

• 作者: 刘新文
• 来源期刊: 中国哲学年鉴
• 学科: 哲学
• 关键词: 逻辑学家 模态逻辑 布兰德 纽约城市大学 混合核 混合逻辑 可证性
• 年，卷（期）: 2018,（1）
• 页码范围: 367-367
• 页数: 1页
• 分类号: B

摘要

该著主要有以下内容:第一,较全面地研究了作为模态逻辑新分支的混合逻辑,这些研究对象以这一族逻辑中的极小系统为主;第二,在介绍可证性逻辑新阶段发展成果——核证逻辑的基础上,建立了混合的核证逻辑的极小系统,解决了国际知名逻辑学家赫布兰德奖(Herbrand Award)2012年得主、纽约城市大学研究生院梅尔文·菲廷(Melvin Fitting)教授在2010年提出的未解决问题,即“混合核证逻辑的极小系统问题”。