期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
中介逻辑与中介公理集合论的综述
被引量：
2
1
作者
洪龙
周宁宁
《南京邮电大学学报（自然科学版）》
EI
2008年第4期87-94,共8页
以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响。文中主要从下面3个方面论述:中介数学系统的研究背景;...
以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响。文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见。此外,还展望了中介数学系统的应用前景。
展开更多
关键词
中介数学系统
逻辑
公理集合论
在线阅读
下载PDF
职称材料
题名
中介逻辑与中介公理集合论的综述
被引量：
2
1
作者
洪龙
周宁宁
机构
南京邮电大学计算机学院
出处
《南京邮电大学学报（自然科学版）》
EI
2008年第4期87-94,共8页
基金
国家自然科学基金(60273037)
南京邮电大学攀登计划(NY206010)资助项目
文摘
以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响。文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见。此外,还展望了中介数学系统的应用前景。
关键词
中介数学系统
逻辑
公理集合论
Keywords
Medium mathematics systems
Logics
Axiom set theory
分类号
O143 [理学—基础数学]
O141 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
中介逻辑与中介公理集合论的综述
洪龙
周宁宁
《南京邮电大学学报（自然科学版）》
EI
2008
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
