G(o)del逻辑系统中的广义重言式理论

来源 :模糊系统与数学 | 被引量 : 0次 | 上传用户：liu7605136

【摘要】

：

本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-),G中,重言式不可能由对非重言式进行有限次

【作者】

：

吴洪博

【机构】

：

唐山师范学院,数学系,河北,唐山,063000

【出处】

：

模糊系统与数学

【发表日期】

：

2000年4期

【关键词】

：

命题演算可达α+-重言式 α-矛盾式升级算法分划

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-),G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在(G-),G,Gn中给出了F(S)的一个关于同余的分划.

其他文献

粘弹性铰对梁结构模态性能的影响分析

研究以连接效结构中置入粘弹性材料时，预紧力大小改变时引起铰点约束刚度变化对模态性能的影响．给出了平移约束刚度和旋转约束刚度变化时结构模态参数变化的解析表达式．可以分析

期刊

粘弹性阻尼铰复约束刚度固有频率损耗因子

视觉传达设计技巧——评《视觉传达理论与实践新探》

<正>在经济社会中,视觉传达设计主要为商品的流通和消费者的购物服务,因此,设计者在进行视觉传达设计时,要服从于商品信息的真实表达,在实现视觉传达设计审美的前提下,通过设

期刊

传达设计《视觉传达理论与实践新探》

农药污染的危害

农药是农业生产中必不可少的生产资料,又是具有毒物属性的有害化学物质,不合理使用将导致对人体键康和生态环境的危害.由于种种原因,我国当前的农药污染状况不容乐观,某些地

期刊

农药危害发展控制

现代艺术与传统文化的结合——评《文化创意视野下的艺术设计研究》

传统文化符号与现代艺术语言相结合,可以传承和弘扬传统文化,实现传统文化与现代艺术的完美融合.《文化创意视野下的艺术设计研究》一书由臧欣慈、王晓橹、马帅共同编写,围绕

期刊

主题乐园项目空间规划和管理——以成都国色天乡为例

主题乐园是一种现代旅游形态,其产生发展虽然短暂,却已取得了瞩目成绩,吸引了众多的研究目光.本文从成熟主题乐园的发展中探求其空间项目规划及管理方面内容,总结其成功经验,

期刊

主题乐园空间规划

让每个人都有“人生出彩”的机会--论学习贯彻习近平总书记关于职业教育工作重要指示精神

6月23-24日，全国职业教育工作会议在京召开。此次会议是改革开放以来国务院召开的第三次全国职业教育工作会议，对我国职业教育今后的发展进行全面部署和规划，中共中央总书记、国

期刊

人生如何学习习近平总书记全国职业教育工作会议评论员文章理解和掌握重大政策中共中央指示军委主席教育发展国家主席改革开放国务院面部栏

一类Durrmeyer型插值算子在Bα空间中的逼近

研究了一类修正的Jackson型三角插值算子在Bα空间中的逼近阶,以K泛函为工具建立了逼近的正逆定理.做为推论,给出了Hermite-Fejer修正算子在带权Bwα空间中逼近的正逆定理.

期刊

Durrmeyer型插值算子收敛阶Bwα空间

女子400m跑成绩与50m分段速度的相关研究

运用文献法和数理统计法,对参加第六届世锦赛女子400m跑决赛的8名运动员的成绩与50m分段速度之间进行了相关分析.结果表明:决定400m跑成绩的关键区域是起跑加速段和最后冲刺

期刊

400m成绩分段速度

GCC box in Arabidopsis PDF1.2 promoter is an essential and sufficient cis-acting element in response

为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7

期刊

AgroinfiltationGCC boxMeJAPDF1.2 promotercis-acting element

论刘恒《窝头会馆》中的三重生存困境

《窝头会馆》是由刘恒编剧的一部为庆祝新中国成立六十周年献礼的话剧。话剧将视角集中在了北平解放的前一年,北京一个叫窝头会馆的平民小院儿里,剧中通过窝头会馆中几户小老

期刊

刘恒《窝头会馆》欲望信仰死亡

G(o)del逻辑系统中的广义重言式理论

与本文相关的学术论文