命题逻辑系统理论(广义)根性质及应用

山东大学学报(工学版) ›› 2013, Vol. 43 ›› Issue (4): 87-92.

命题逻辑系统理论(广义)根性质及应用

张建成,苏连塔

泉州师范学院数学与计算机学院, 福建泉州 362000

收稿日期:2012-12-05 出版日期:2013-08-20 发布日期:2012-12-05
作者简介:张建成(1954- ),福建泉州人,教授,主要研究方向为不确定推理.E-mail:zjcqz@126.com
基金资助:
福建省教育厅A类科技资助项目(2010JA10235)

Properties and applications of the roots of theories in propositional logic systems

ZHANG Jian-cheng, SU Lian-ta

School of Mathematics and Computer Science, Quanzhou Normal University, Quanzhou 362000, China

Received:2012-12-05 Online:2013-08-20 Published:2012-12-05

摘要/Abstract

摘要：

del命题逻辑系统和R0-命题逻辑系统上讨论理论Γ的根和广义根性质,给出了一个有(广义)根的理论Γ的结论集D(Γ)的结构。应用(广义)根的性质与构造,获得了理论Γ的相容度、发散度和公式A是Γ-结论的隶属度等新的计算公式。

关键词: 命题逻辑, 理论根, 广义根, 发散度, 相容度, 隶属度

Abstract:

By means of theory of truth degrees of formulas, the properties of the generalized roots of theories in classical two-valued logic system, lukasiewicz propositional logic, Gdel propositional logic, and the R0-propositional logic were first studied according to deduction theorems. Then, it was proved that all consequences of a theory Γ, named D(Γ), were completely determined by its generalized root whenever Γ had a generalized root. Finally, a new algorithm of divergence degree, consistency degree, and Membership degree of Γ-conclusion was obtained.

Key words: propositional logic system, generalized roots, divergence degree, consistency degree, membership degree

中图分类号:

O141.1

张建成,苏连塔. 命题逻辑系统理论(广义)根性质及应用[J]. 山东大学学报(工学版), 2013, 43(4): 87-92.

ZHANG Jian-cheng, SU Lian-ta. Properties and applications of the roots of theories in propositional logic systems[J]. JOURNAL OF SHANDONG UNIVERSITY (ENGINEERING SCIENCE), 2013, 43(4): 87-92.

参考文献

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed

本文评价

推荐阅读 10

[1]	王素玉,艾兴,赵军,李作丽,刘增文 . 高速立铣3Cr2Mo模具钢切削力建模及预测[J]. 山东大学学报(工学版), 2006, 36(1): 1 -5 .
[2]	张永花,王安玲,刘福平 . 低频非均匀电磁波在导电界面的反射相角[J]. 山东大学学报(工学版), 2006, 36(2): 22 -25 .
[3]	李侃 . 嵌入式相贯线焊接控制系统开发与实现[J]. 山东大学学报(工学版), 2008, 38(4): 37 -41 .
[4]	施来顺,万忠义 . 新型甜菜碱型沥青乳化剂的合成与性能测试[J]. 山东大学学报(工学版), 2008, 38(4): 112 -115 .
[5]	孔祥臻,刘延俊,王勇,赵秀华 . 气动比例阀的死区补偿与仿真[J]. 山东大学学报(工学版), 2006, 36(1): 99 -102 .
[6]	来翔 . 用胞映射方法讨论一类MKdV方程[J]. 山东大学学报(工学版), 2006, 36(1): 87 -92 .
[7]	余嘉元1 , 田金亭1 , 朱强忠2 . 计算智能在心理学中的应用[J]. 山东大学学报(工学版), 2009, 39(1): 1 -5 .
[8]	陈瑞,李红伟,田靖. 磁极数对径向磁轴承承载力的影响[J]. 山东大学学报(工学版), 2018, 48(2): 81 -85 .
[9]	王波,王宁生 . 机电装配体拆卸序列的自动生成及组合优化[J]. 山东大学学报(工学版), 2006, 36(2): 52 -57 .
[10]	李可,刘常春,李同磊 . 一种改进的最大互信息医学图像配准算法[J]. 山东大学学报(工学版), 2006, 36(2): 107 -110 .