文件名称：中介逻辑与中介公理集合论的综述 (2008年)
文件大小：686KB
文件格式：PDF
更新时间：2024-06-10 23:23:53
自然科学 论文
以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上 将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影 响。文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经 典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中 介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正 反双方的意见。此外,还展望了中介数学系统的应用前景。