中介逻辑与中介公理集合论的综述

• 作者: 周宁宁 洪龙
• 来源期刊: 南京邮电大学学报（自然科学版）
• 学科: 数学
• 关键词: 中介数学系统 逻辑 公理集合论
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 综述
• 页码范围: 87-94
• 页数: 8页
• 分类号: O143|O141
• 字数: 7637字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5439.2008.04.018

摘要

以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响.文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见.此外,还展望了中介数学系统的应用前景.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周宁宁	南京邮电大学计算机学院	37	398	11.0	18.0
2	洪龙	南京邮电大学计算机学院	36	368	9.0	18.0