10.3969/j.issn.1673-5439.2008.04.018
中介逻辑与中介公理集合论的综述
以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响.文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见.此外,还展望了中介数学系统的应用前景.
中介数学系统、逻辑、公理集合论
28
O143;O141(数理逻辑、数学基础)
国家自然科学基金60273037;南京邮电大学攀登计划NY206010
2008-10-21（万方平台首次上网日期，不代表论文的发表时间）
共8页
87-94
