协调、一致与一阶公理系统的强完全性

发布时间：2017-07-15 22:01

  本文关键词：协调、一致与一阶公理系统的强完全性

  更多相关文章： 一致 协调 演绎定理 强完全性

【摘要】：在公理系统中演绎定理是连接一致性和协调性的桥梁。对于带演绎定理的公理系统,可以证明公式集的一致性和协调性是等价的。在不带演绎定理的一阶公理系统中,一致性和协调性的差异集中体现在强完全性证明过程中。基于一致性的证明不依赖演绎定理,但基于协调性的强完全性证明多处受演绎定理束缚。文中将给出一个松绑方案,基于协调性上证明一阶公理系统QC1的强完全性。
【作者单位】： 华南师范大学政治与行政学院;
【关键词】： 一致 协调 演绎定理 强完全性
【分类号】：B812.23
【正文快照】： ~~协调、一致与一阶公理系统的强完全性@邓雄雁$华南师范大学政治与行政学院!广东广州510631 @胡泽洪$华南师范大学政治与行政学院!广东广州510631在公理系统中演绎定理是连接一致性和协调性的桥梁。对于带演绎定理的公理系统,可以证明公式集的一致性和协调性是等价的。在

【参考文献】

中国期刊全文数据库 前1条

1 王健平;;实质蕴涵与自然语言中的相关蕴涵命题分析[J];华南师范大学学报(社会科学版);2005年03期

【共引文献】

中国期刊全文数据库 前3条

1 孙培福;;变元间的相关性是人类逻辑的本质属性——由关于“实质蕴涵”的“相关蕴涵”引发的深层思考[J];华南师范大学学报(社会科学版);2006年03期

2 王永炎;贾春华;黄启福;鲁光麟;;《伤寒论》临床诊疗“实质公理”集[J];江苏中医药;2006年10期

3 冯艳;论经典否定、直觉主义否定和弗协调否定[J];自然辩证法研究;2005年02期

中国博士学位论文全文数据库 前3条

1 张力锋;模态逻辑和本质主义[D];北京大学;2004年

2 贾春华;基于命题逻辑的《伤寒论》方证理论体系研究[D];北京中医药大学;2006年

3 张立娜;个体词的逻辑语义[D];清华大学;2007年

中国硕士学位论文全文数据库 前9条

1 郭美云;辛提卡IF一阶逻辑研究[D];西南师范大学;2003年

2 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年

3 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

4 李爱仙;特异水稻的细胞胚胎学研究及其杂交后代的遗传分析[D];四川农业大学;2005年

5 陈家端;试析高中数学课程中逻辑内容的选择与编制[D];中央民族大学;2006年

6 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年

7 刘云婷;言语行为理论视域中的指令行为分析[D];浙江大学;2008年

8 唐永刚;蒯因真理观及其理论意义[D];西南大学;2008年

9 韩亦佳;蕴涵与因果推理的关系[D];河南大学;2008年

【相似文献】

中国期刊全文数据库 前10条

1 初立光;对动作“协调性”实质的分析[J];河北体育学院学报;2004年02期

2 李娜;模态系统P_1的协调性[J];信阳师范学院学报(哲学社会科学版);2005年03期

3 李开;学习分析哲学的良师——读《当代分析哲学》[J];中国图书评论;1987年04期

4 郭贵春;胡塞尔现象学的方法论意义[J];山西大学学报(哲学社会科学版);1992年03期

5 段宝利,赵俭,董汉英;游戏对提高和发展幼儿协调性的实验研究[J];西安体育学院学报;1999年02期

6 ;短跑[J];田径;2004年08期

7 肖志鹏,王翔;台阶试验和中跑测验评价高中生心肺机能锻炼效果的一致性[J];湖北体育科技;2005年04期

8 周来祥;;辩证思维·矛盾思维·和谐思维[J];学术月刊;2007年12期

9 李德鹏;;论古汉语现代汉语双音词判断标准的一致性[J];云南民族大学学报(哲学社会科学版);2009年01期

10 姜大涛;;法律英语翻译的基本原则[J];魅力中国;2009年25期

中国重要会议论文全文数据库 前10条

1 李小五;;协调性质与无穷逻辑几个公理化系统的完全性[A];1993年逻辑研究专辑[C];1993年

2 王栋民;高昱;左彦峰;欧阳世翕;;流态膨胀混凝土膨胀与强度发展的协调性研究(Ⅰ):中强混凝土的情况[A];首届商品砼大会论文集[C];2004年

3 薛佩伟;;中国图书馆立法研究[A];福建省图书馆学会2007年学术年会论文集[C];2007年

4 谭小群;陈国华;;跨区域突发事件应急协调机制实现途径探究[A];中国职业安全健康协会2009年学术年会论文集[C];2009年

5 岳瑞永;徐义贤;吴云超;;InSAR二维相位解缠算法研究[A];第二届环境与工程地球物理国际会议论文集[C];2006年

6 张国华;吴智铭;;混合动态系统中连续状态系统用离散事件系统描述的一致性[A];1996中国控制与决策学术年会论文集[C];1996年

7 李艳双;韩文秀;曾珍香;;可持续发展系统评价指标体系构建及评价方法探讨[A];西部开发与系统工程——中国系统工程学会第12届年会论文集[C];2002年

8 方志耕;刘思峰;张亚斌;张立军;;国际贸易自由化与发展中国家经济利益的一致性与矛盾性分析[A];2002年中国管理科学学术会议论文集[C];2002年

9 许莹修;戴思兰;;菊花品种表型性状分类价值研究[A];中国菊花研究论文集（2002—2006）[C];2002年

10 李继乾;苏醒;黄奇成;魏翠萍;;区间数判断矩阵的排序及一致性改进算法[A];第四届全国决策科学/多目标决策研讨会论文集[C];2007年

中国重要报纸全文数据库 前10条

1 顾兴明;再婚夫妻更需协调性生活[N];保健时报;2004年

2 亦清;深化改革要突出协调性[N];深圳特区报;2011年

3 李成勋 中国社会科学院经济研究所;注重经济发展的协调性[N];中国社会科学报;2011年

4 耿建萍;关键在于“政策的一致性”[N];山西经济日报;2006年

5 ;需提高数据的一致性及设备自身抗震能力[N];中国电子报;2009年

6 本报记者 陈淑清;区域经济：协调性明显增强[N];中国信息报;2005年

7 记者 谭志文;高度重视经济发展的协调性和可持续性[N];郴州日报;2011年

8 黎建飞 杨胜男;略论劳动保障立法的协调性[N];中国劳动保障报;2005年

9 本报记者 周春雨;黄彬：英国馆看点在于形式与内容的一致性[N];中国贸易报;2010年

10 记者 杜斌　李庶民 通讯员 王贵鹏;GDP增速合理回落 经济协调性增强[N];金融时报;2011年

中国博士学位论文全文数据库 前10条

1 马晓苗;基于自组织理论的企业文化渗透机制及测度研究[D];吉林大学;2009年

2 王以松;逻辑程序的相容性与环公式研究[D];贵州大学;2007年

3 魏善碧;多智能体系统分布式预测控制方法研究[D];重庆大学;2009年

4 周启强;英汉构词法的认知研究[D];湖南师范大学;2007年

5 于冬;面向数字城市的复杂性研究[D];天津大学;2004年

6 盖国凤;固定资产投资与经济协调发展研究[D];吉林大学;2007年

7 金玲玲;偷税犯罪立法研究[D];吉林大学;2009年

8 张海滨;应用定量组织速度成像技术研究左室运动的协调性[D];第四军医大学;2004年

9 李振中;追求和谐的完美[D];上海外国语大学;2007年

10 张明媛;城市承灾能力及灾害综合风险评价研究[D];大连理工大学;2008年

中国硕士学位论文全文数据库 前10条

1 李林林;高炉专家系统中知识库的研究与实现[D];东北大学;2005年

2 庞飞;分布式网络互斥锁的设计与实现[D];电子科技大学;2005年

3 秦艳凯;基于Linux嵌入式实时数据库系统的研究与设计[D];华北电力大学（河北）;2006年

4 寇凤莲;大容积发酵罐啤酒醇酯比的控制研究[D];江南大学;2008年

5 张静;基于一致性的世界级制造模式在我国企业的应用[D];江苏大学;2009年

6 姜静;金融风险预测的模糊综合评价模型[D];吉林大学;2005年

7 顾玉萍;严复、奈达、纽马克翻译理论的一致性[D];太原理工大学;2005年

8 方江林;关于异方差样本的统计推断[D];湖南师范大学;2006年

9 李瑞平;高速公路车速仿真及一致性分析[D];昆明理工大学;2006年

10 王笑坤;Boosting算法及其应用[D];西北大学;2007年

，

本文编号：545920