%0 Journal Article
%T 中介逻辑与中介公理集合论的综述
%A 洪龙
%A 周宁宁
%J 南京邮电大学学报(自然科学版)
%P 87-94
%D 2008
%X 以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统，它对数学的逻辑基础和集合论研究产生了重要影响。文中主要从下面3个方面论述：中介数学系统的研究背景；中介数学系统的基本内容及其与经典数学系统的关系，其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状；有关中介逻辑的学术争论，特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见。此外，还展望了中介数学系统的应用前景。
%K 中介数学系统
%K 逻辑
%K 公理集合论
%U http://nyzr.njupt.edu.cn/ch/reader/view_abstract.aspx?file_no=200804018&flag=1