Lukasiewicz3-值命题逻辑的强完全性证明

发布时间：2019-04-20 13:44

【摘要】：证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑。构建一个可以推广到其他有穷多值逻辑的典型模型,应用这个模型可以重新证明Lukasiewicz3-值命题逻辑的强完全性。
[Abstract]:It is proved that there are many methods for the completeness of finite multivalued logic systems. The Henkin maximal uniform set method for classical logic can also be extended to multivalued logic. This method has been successfully applied in Lukasiewicz3- valued propositional logic in literature, but it has not been extended to arbitrary finite-valued Lukasiewicz logic and other kinds of multi-valued logic. A typical model which can be extended to other finite multi-valued logic is constructed. The strong completeness of Lukasiewicz3- valued propositional logic can be reproved by this model.
【作者单位】： 安徽大学哲学系
【基金】：安徽大学人才队伍建设经费资助
【分类号】：B812

【相似文献】

相关期刊论文 前10条

1 韩超,潘修华;宗教起源:多维综合理论[J];内蒙古农业大学学报(社会科学版);2003年02期

2 张诒三;《魏书》词语选释[J];古汉语研究;2001年04期

3 陆忠发;释“箸”[J];古汉语研究;2000年02期

4 赵岩;法律解释方式:从司法解释到判例[J];烟台大学学报(哲学社会科学版);2001年01期

5 杨会永;《醒世姻缘传》词语补释[J];西华师范学院学报(社会科学版);2003年04期

6 叶全新;;不要解释[J];清明;1992年05期

7 国光红,陈光苏;传上古风情的几个古文字──释令、今、化、尼、及[J];山东师大学报(社会科学版);2000年01期

8 姜志伟;;英语中表示“解释”的词语例释[J];英语知识;2000年08期

9 黄建宁;“端策拂龟”另解[J];上海交通大学学报(哲学社会科学版);2003年03期

10 姜飞;“修辞立其诚”新解[J];内江师范学院学报;2004年01期

相关会议论文 前10条

1 丁雪芹;;完全性心内膜缺损患儿的监护[A];全国心脏内、外科专科护理学术会议论文汇编[C];2003年

2 周北海;;嫁接框架与S1-完全性[A];1994年逻辑研究专辑[C];1994年

3 何琼;祁燕;;完全性肺静脉异位引流术后护理体会[A];全国重症监护护理学术交流暨专题讲座会议论文汇编[C];2004年

4 罗伯托·刚萨雷斯;;西医理论的中医解释[A];2006国际传统医药创新与发展态势论坛论文集[C];2006年

5 张玮光;刘俊玲;赵新;卢桂章;;微操作机器人编程语言[A];2007年中国智能自动化会议论文集[C];2007年

6 梁万茹;孙华丽;;完全性唇裂鼻底瓦合矩形瓣的改良[A];第二届中国国际暨第五届全国口腔颌面外科学术会议论文集[C];1998年

7 崔建军;张玉池;蔡自兴;;神经网络在地球物理勘探中的应用[A];1999年中国智能自动化学术会议论文集（上册）[C];1999年

8 高锡国;;完全性锁骨下动脉窃血综合征彩色多普勒超声表现(附5例报告)[A];中华医学会第六次全国超声医学学术年会论文汇编[C];2001年

9 吴翩;;急性完全性子宫内翻4例救治体会[A];纪念卓越的人民医学家林巧稚大夫诞辰100周年——全国妇产科高级学术论坛论文集[C];2001年

10 虞容豪;谢秋幼;古菁;;完全性脊髓损伤高压氧治疗的预后评估[A];中华医学会第十三次全国高压氧医学学术会议论文汇编[C];2004年

相关重要报纸文章 前10条

1 周新;中国完全性脊髓损伤临床治疗世界领先[N];医药导报(中药报);2004年

2 记者 初卫华;治疗完全性脊髓损伤有进展[N];健康报;2001年

3 杨松林;腔隙性脑梗死不容轻视[N];大众卫生报;2007年

4 左中男;用可调外固定支架使肩锁关节复位[N];健康报;2007年

5 张倩平;女孩需防尿道黏膜外翻[N];家庭医生报;2007年

6 中南大学湘雅医院教授 罗学宏;布—加综合征易误诊[N];大众卫生报;2006年

7 邓海平;膳食补品非吃不可吗[N];科技日报;2007年

8 寿山;包皮粘连与包茎[N];民族医药报;2007年

9 湖南省第二人民医院主任医师 刘秋庭;切莫轻视小中风[N];大众卫生报;2007年

10 衣晓峰;黑龙江专家提出脊髓损伤并发症处理及康复对策[N];中国医药报;2008年

相关博士学位论文 前10条

1 周健生;结构系统完全性分析技术研究[D];哈尔滨工程大学;2002年

2 姚准;景观空间演变的文化解释[D];东南大学;2006年

3 张世民;骶神经前根电刺激排尿中完全性后根切断去传入的替代方法：实验与临床研究[D];第二军医大学;2000年

4 李闽峰;震害预测快速服务平台的模型与方法及一些相关理论的研究[D];中国地震局地球物理研究所;2002年

5 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

6 陶红;先天性肾上腺皮质增生症的临床与分子遗传学研究[D];中国协和医科大学;2003年

7 李盛;单侧完全性唇腭裂初期手术方法及效果评价的临床研究[D];四川大学;2006年

8 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年

9 汪龙霞;子宫内膜异位囊肿介入性治疗的实验及临床研究[D];中国人民解放军军医进修学院;2004年

10 王志良;酶学诱发玻璃体后脱离的实验研究[D];复旦大学;2005年

相关硕士学位论文 前10条

1 许菲;格式合同免责条款研究[D];郑州大学;2005年

2 杨龙波;我国《行政许可法》的政治学解读[D];上海师范大学;2005年

3 陈丽华;WTO争端解决机制中法庭之友实践的合法性分析[D];厦门大学;2006年

4 崔柯;解释学视野中的庄子美学[D];山东师范大学;2005年

5 朱华祥;新闻的解释[D];华中科技大学;2005年

6 李琰;从前见理论角度看《诗经》英译[D];湖南师范大学;2006年

7 李燕;译者主体性研究[D];山东大学;2006年

8 肖清玲;概念隐喻的解释和构建功能[D];武汉理工大学;2006年

9 陈彦宏;信用卡诈骗罪的法条解释与评析[D];吉林大学;2007年

10 米顺强;遗传算法的有关改进及应用[D];解放军信息工程大学;2004年

，

本文编号：2461656