期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
对开放逻辑系统的哲学思考
下载PDF
职称材料
导出
摘要
开放逻辑系统OLS(OpenLogicSystem) ̄[1]是李未教授最近提出的新型逻辑系统,旨在从根本上改变传统的逻辑和形式系统。本文论述了开放逻辑提出的背景;说明逻辑系统从封闭走向开放的必然性;探讨了开放逻辑系统中听蕴含的哲学思想;提出了封闭与开放是一对哲学范畴的观点。
作者
王飓安
机构地区
北京航空航天大学
出处
《自然辩证法研究》
CSSCI
北大核心
1995年第2期23-26,共4页
Studies in Dialectics of Nature
关键词
开放逻辑系统
哲学
数理逻辑
分类号
O141 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
1
参考文献
3
共引文献
31
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
3
1
李未.
一个开放的逻辑系统[J]
.中国科学(A辑),1992,23(10):1103-1113.
被引量:32
2
沈小峰,王德胜.自然辩证法范畴论[M]北京师范大学出版社,1986.
3
王宪钧.数理逻辑引论[M]北京大学出版社,1982.
二级参考文献
1
1
[美]爱因斯坦,A· 著,杨润殷.狭义与广义相对论浅说[M]上海科学技术出版社,1964.
共引文献
31
1
张伟.
关于开放逻辑的可判定性[J]
.中国科学(F辑:信息科学),2009,39(7):715-722.
2
怀进鹏.
非单调数据库及其信念维护系统的研究与实现[J]
.高技术通讯,1994,4(12):16-21.
3
李未,黄文奇.
一种求解合取范式可满足性问题的数学物理方法[J]
.中国科学(A辑),1994,24(11):1208-1217.
被引量:21
4
赵克,叶尚辉.
一个基于面向对象的设计知识表示的资源模型[J]
.机械科学与技术,1995,14(4):110-115.
被引量:3
5
邓安生,刘叙华.
Boole算子Fuzzy逻辑中推理的形式结构[J]
.中国科学(A辑),1995,25(7):758-764.
被引量:3
6
赵克,叶尚辉.
递归设计过程模型的研究[J]
.机械科学与技术,1996,15(4):629-634.
被引量:2
7
胡懋仁.
开放逻辑与理论系统[J]
.自然辩证法研究,1996,12(3):7-12.
被引量:1
8
张敏,薛永生,胡文华,吴梅红,邓安生.
基于模态缺省理论的多Agent系统的知识更新[J]
.计算机工程,2006,32(17):108-111.
9
李昕,刘伟信.
关于开放逻辑与ATMS的关系研究[J]
.仪器仪表用户,2007,14(2):109-110.
10
张东摩,李未.
基于全序划分结构的开放逻辑[J]
.中国科学(E辑),1998,28(6):542-549.
1
李未,王驹.
力迫演算在开放逻辑系统中的嵌入[J]
.科学通报,1994,39(20):1837-1840.
2
应明生.
允许修改推理规则的开放逻辑[J]
.科学通报,1996,41(11):970-972.
被引量:2
3
苏开乐,丁德成,钱磊,孙智伟.
开放逻辑中一类算子的不动点[J]
.湖南师范大学自然科学学报,1994,17(3):21-23.
4
苏开乐,丁德成,孙智伟,钱磊.
开放逻辑中的合理事实反驳模型类[J]
.计算机学报,1994,17(5):361-366.
被引量:3
5
苏开乐.
开放逻辑沿中子结构链的认识进程[J]
.南京大学学报(自然科学版),1994,30(1):1-5.
被引量:1
6
苏开乐.
开放逻辑中的认识进程[J]
.南京大学学报(数学半年刊),1995,12(2):175-178.
7
苏开乐,孙智伟.
关于开放逻辑R—重构个数的几个等价命题[J]
.南京大学学报(数学半年刊),1994,11(1):6-9.
8
苏开乐.
开放逻辑中的R-重构[J]
.科学通报,1994,39(5):385-387.
被引量:2
9
林作铨,李未.
开放逻辑及其与限制逻辑的关系[J]
.中国科学(E辑),1998,28(6):550-558.
被引量:2
10
ZHANG Wei.
On the decidability of open logic[J]
.Science in China(Series F),2009,52(8):1283-1291.
被引量:1
自然辩证法研究
1995年 第2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部