收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

直觉主义逻辑的新公理系统RH

陈自立  
【摘要】:正由于计算机科学和人工智能的发展,直觉主义逻辑、相干逻辑引起了人们极大的兴趣.能否建立一个既是相干的又是直觉主义的逻辑公理系统呢? 遵循直觉主义创始人Brouwer的初衷(不承认排中律,也不否定排中律),可以对直觉主义系统提出以下定义。定义1 一个逻辑系统,如果满足以下条件,则

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刁新强;;论柏格森生命哲学及其伦理意义[J];和田师范专科学校学报;2006年06期
2 唐莉;唐利飞;;浅析摩尔的直觉主义伦理思想[J];商业文化(学术版);2010年02期
3 高光杰;西季威克伦理思想评介[J];鞍山师范学院学报;1989年02期
4 武晶;;片段 意识 意识流[J];中共郑州市委党校学报;2006年01期
5 Henri Poincare;李醒民;;数学中的直觉和逻辑[J];世界科学;1988年04期
6 张连良;人类认识是直觉与逻辑的统一——柏格森直觉主义失足点之我见[J];长白学刊;1991年04期
7 丁雪枫;;论罗尔斯正义理论的直觉主义性质[J];中共浙江省委党校学报;2007年02期
8 吴倩;;浅析《静静的顿河》的悲剧性和直觉主义[J];学理论;2008年18期
9 顾工;;诗,要有广阔的空间[J];诗探索;1982年04期
10 周荫祖 ,金元浦;论柏格森直觉主义及其美学意义[J];青海师范大学学报(哲学社会科学版);1987年04期
11 胡军;;以直觉解读中国文化——梁漱溟早期的文化观[J];新视野;2007年05期
12 方杲;;论亨利·柏格森的直觉主义[J];吉林化工学院学报;2007年06期
13 韦诚;关于公理方法论的几个问题[J];东岳论丛;1993年05期
14 邓小伟;论西方哲学史上的直觉思想[J];锦州师范学院学报(哲学社会科学版);2002年05期
15 张清宇;;A命题的系统[J];毕节学院学报;2010年11期
16 单博;;论柏格森的直觉主义与综合材料绘画教学[J];南京艺术学院学报(美术与设计版);2011年04期
17 熊吕茂;梁漱溟与柏格森的生命哲学[J];常德师范学院学报(社会科学版);2000年02期
18 李爱萍;;与柏格森的比较中看梁漱溟生命哲学的时代意义[J];华东理工大学学报(社会科学版);2005年04期
19 武兴元;;知识论中非理性的信仰主义到直觉主义的历史变迁[J];陕西教育学院学报;2006年04期
20 李振纲;邢靖懿;;庄子对人类知性及逻辑思维的责难——《齐物论》解读[J];河北大学学报(哲学社会科学版);2008年02期
中国重要会议论文全文数据库 前10条
1 陈自立;;直觉主义逻辑的新公理系统RH[A];1995年逻辑研究专辑[C];1995年
2 周栢乔;;我国传统科学观的现代诠释:寓理于算[A];落实科学发展观——2006中国科技创新发展论坛学术论文汇编[C];2006年
3 李娜;;模型~R△~(β)的一些性质[A];1997年逻辑研究专辑[C];1997年
4 杜国平;;哲思逻辑[A];第三次金岳霖学术思想研讨会论文集[C];2005年
5 熊明;;古典命题演算的直觉主义语义分析[A];2000年逻辑研究专辑[C];2000年
6 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年
7 张冠军;姜豪;;BCK代数的简化公理系统不能成立[A];数学·物理·力学·高新技术研究进展——1998(7)卷——中国数学力学物理学高新技术交叉研究会第7届学术研讨会论文集[C];1998年
8 苏愉仁;贾春华;;《金匮要略》临床诊疗“实质公理”集[A];仲景医学求真(续二)——中华中医药学会第十六届仲景学说学术研讨会论文集[C];2008年
9 陈自立;桂起权;;辩证逻辑公理系统DLA及DLB[A];1995年逻辑研究专辑[C];1995年
10 马垣;;连接依赖的有效完备公理系统[A];第十届全国数据库学术会议论文集[C];1992年
中国博士学位论文全文数据库 前10条
1 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
2 刘万伟;扩展时序逻辑的推理及符号化模型检验技术[D];国防科学技术大学;2009年
3 张南;命题投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2012年
4 何松旭;为什么需要道德?[D];浙江大学;2011年
5 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
6 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
7 李明泉;模糊描述逻辑F-SHIQ公理体系及其推理机制的研究[D];天津大学;2008年
8 朱涵;模型独立的移动演算理论[D];上海交通大学;2009年
9 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年
10 孙健;金融资产的离散过程动态风险度量研究[D];哈尔滨工业大学;2007年
中国硕士学位论文全文数据库 前10条
1 王小刚;彭加勒的科学哲学思想[D];武汉大学;2005年
2 胡丹;现代西方元伦理学的开端[D];厦门大学;2007年
3 陈洁;G.E.摩尔元伦理直觉主义研究[D];大连理工大学;2007年
4 刘旭峰;直觉的位置[D];湖南师范大学;2004年
5 张晓华;直觉主义价值论[D];西南大学;2007年
6 谭琳;代数规格说明的半自动化辅助构造工具的设计和实现[D];暨南大学;2008年
7 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
8 李爱国;罗斯义务论直觉主义伦理思想研究[D];西南大学;2008年
9 张立林;西季威克直觉功利主义伦理思想研究[D];西南大学;2009年
10 孙勇军;论彭加勒的科学哲学思想[D];武汉科技大学;2009年
中国重要报纸全文数据库 前10条
1 杨国荣 陈赟;独到的解读[N];中华读书报;2001年
2 张源侠;医困惑[N];中国经营报;2007年
3 王华悟王忠勋;由“达维多定律”引发的思考[N];解放军报;2008年
4 肖四新;后现代主义在中国的折射与变形[N];中华读书报;2002年
5 张文修(本文作者系西安交通大学经济与金融学院教授);经济学与数学联姻[N];中国财经报;2002年
6 中央党校 侯才;中国传统哲学思维方式的特质和地位[N];中国社会科学院院报;2004年
7 本版辑文 晓慧;莱布尼茨及其哲学思想[N];中国城乡金融报;2006年
8 许涤非 中国人民大学哲学院;数学的直谓基础[N];中国社会科学报;2009年
9 丁一;关于哥德巴赫猜想的三个悖论[N];光明日报;2002年
10 叶秀山;哲学与科学的历史互动[N];人民日报;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978