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

二重命题逻辑系统■_(T4)

许涤非  
【摘要】:本文介绍了二重命题逻辑系统■T4的形式语言和公理系统,并得出了有关该系统的重要定理。通过框架与模拟框架之间的桥梁,我们最终给出了二重命题逻辑的有效性是一种封闭框架类的有效性。利用二重命题逻辑的可能世界语义学,我们证明了■T4的可靠性与完全性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张清宇;;A命题的系统[J];毕节学院学报;2010年11期
2 鲁兴启;对经验科学公理化的思考[J];学术论坛;1991年01期
3 陈炜,王雨田;归纳逻辑:卡尔纳普的公理系统和我们的设想[J];中国社会科学院研究生院学报;1988年02期
4 梁彪;罗萨和图尔克特对卢卡西维茨多值逻辑系统的改进[J];中山大学学报论丛;2000年02期
5 梁彪;论逻辑系统[J];哲学研究;2003年09期
6 姜成林,桂起权;公理化方法是科学理论系统化的重要方法[J];江汉论坛;1984年12期
7 柳昌清;渗透集合论及辩证逻辑的公理系统论纲[J];中州学刊;1988年03期
8 林夏水;公理化方法的哲学分析[J];福建师范大学学报(哲学社会科学版);1982年01期
9 王琼;浅谈中学几何公理系统[J];西藏大学学报(汉文版);1994年02期
10 林夏水;实践检验的两种功能──从现代数学的观点看[J];哲学研究;1994年01期
11 史许福;也谈幽默的笑[J];黑龙江农垦师专学报;2000年02期
12 吳允曾;公理系统的内在局限性及其意义[J];北京大学学报(哲学社会科学版);1963年01期
13 赵祖军;;试论地理学公理系统[J];安徽师范大学学报(自然科学版);1984年02期
14 刘新文;;论命题与括号[J];哲学研究;2008年09期
15 林夏水;论数学的本质[J];哲学研究;2000年09期
16 侯维民;非欧几何与抽象代数[J];天水师范学院学报;1997年03期
17 张清宇;;直言推理系统[J];逻辑学研究;2008年01期
18 傅章秀;热爱教育事业的数学家——傅种孙先生[J];数学通报;1991年06期
19 章海鸥;传统三段论公理质疑[J];南昌大学学报(社会科学版);1995年04期
20 郭泽深,周肆根;公理化思想与科学知识的增长[J];现代哲学;1995年04期
中国重要会议论文全文数据库 前10条
1 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年
2 陈自立;;直觉主义逻辑的新公理系统RH[A];1995年逻辑研究专辑[C];1995年
3 周栢乔;;我国传统科学观的现代诠释:寓理于算[A];落实科学发展观——2006中国科技创新发展论坛学术论文汇编[C];2006年
4 李娜;;模型~R△~(β)的一些性质[A];1997年逻辑研究专辑[C];1997年
5 张冠军;姜豪;;BCK代数的简化公理系统不能成立[A];数学·物理·力学·高新技术研究进展——1998(7)卷——中国数学力学物理学高新技术交叉研究会第7届学术研讨会论文集[C];1998年
6 苏愉仁;贾春华;;《金匮要略》临床诊疗“实质公理”集[A];仲景医学求真(续二)——中华中医药学会第十六届仲景学说学术研讨会论文集[C];2008年
7 陈自立;桂起权;;辩证逻辑公理系统DLA及DLB[A];1995年逻辑研究专辑[C];1995年
8 马垣;;连接依赖的有效完备公理系统[A];第十届全国数据库学术会议论文集[C];1992年
9 李建华;;公理化方法的历史发展[A];1997年逻辑研究专辑[C];1997年
10 吴允曾;;可计算性理论的发展及其应用[A];逻辑学文集[C];1978年
中国博士学位论文全文数据库 前10条
1 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
2 刘万伟;扩展时序逻辑的推理及符号化模型检验技术[D];国防科学技术大学;2009年
3 张南;命题投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2012年
4 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
5 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
6 李明泉;模糊描述逻辑F-SHIQ公理体系及其推理机制的研究[D];天津大学;2008年
7 朱涵;模型独立的移动演算理论[D];上海交通大学;2009年
8 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年
9 孙健;金融资产的离散过程动态风险度量研究[D];哈尔滨工业大学;2007年
10 杨德仁;面向复杂自适应系统的本体构造方法及其若干关键技术研究[D];华东师范大学;2008年
中国硕士学位论文全文数据库 前10条
1 谭琳;代数规格说明的半自动化辅助构造工具的设计和实现[D];暨南大学;2008年
2 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
3 荣昆;认证逻辑系统的可靠性研究[D];解放军信息工程大学;2006年
4 徐仁义;RBAC模型的形式化研究[D];解放军信息工程大学;2006年
5 陆志浩;多Agent系统合作认知逻辑的研究[D];南京航空航天大学;2008年
6 强毅;欧几里德几何体系中运动与中学教学[D];首都师范大学;2009年
7 马朋云;本体公理推理及其在交通领域中的应用[D];大连交通大学;2010年
8 李晟;命题逻辑公理系统内定理证明的技巧和方法研究[D];燕山大学;2012年
9 俞育才;几类广义Rough集模型的代数性质及其公理化[D];宁波大学;2012年
10 黄萍;解读赖欣巴哈的逻辑哲学思想[D];西南大学;2006年
中国重要报纸全文数据库 前4条
1 王华悟王忠勋;由“达维多定律”引发的思考[N];解放军报;2008年
2 张文修(本文作者系西安交通大学经济与金融学院教授);经济学与数学联姻[N];中国财经报;2002年
3 丁一;关于哥德巴赫猜想的三个悖论[N];光明日报;2002年
4 记者 胡其峰;社科院哲学研究所研究员王树人:象思维是文化创新的原动力[N];光明日报;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978