中介命题逻辑一种新的无穷值语义模型及意义

doi:10.3778/j.issn.1002-8331.2010.31.013

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (31): 45-49.DOI: 10.3778/j.issn.1002-8331.2010.31.013

中介命题逻辑一种新的无穷值语义模型及意义

张胜礼^1，2，潘正华²

1.兴义民族师范学院计算机科学系，贵州兴义 562400
2.江南大学理学院，江苏无锡 214122

收稿日期:2009-05-13 修回日期:2009-06-22 出版日期:2010-11-01 发布日期:2010-11-01
通讯作者: 张胜礼

One new model of infinite valued for medium proposition logic and its meaning

ZHANG Sheng-li^1，2，PAN Zheng-hua²

1.Department of Computer Science，Xingyi Normal College for Nationalities，Xingyi，Guizhou 562400，China
2.School of Science，Jiangnan University，Wuxi，Jiangsu 214122，China

Received:2009-05-13 Revised:2009-06-22 Online:2010-11-01 Published:2010-11-01
Contact: ZHANG Sheng-li

摘要/Abstract

摘要： 中介逻辑ML（Medium Logic），自建立了它的三值语义模型后，ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统，潘给出了一种无穷值语义模型，并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上，给出一种真值域为[0,λ)∪(λ,1](λ∈(0.5,1))的无穷值语义模型，研究了它的性质，证明了中介命题逻辑在该模型下也具有可靠性与完备性。新模型的存在进一步表明，认定中介逻辑是一种三值逻辑的理由是不充分的。新模型不仅反映了中介逻辑的基本思想，而且为中介逻辑在其他领域的应用提供了基础。

关键词: 中介命题逻辑, 三值模型, 无穷值模型, 完备性, 可靠性

Abstract: Since three-valued model of medium logic（ML） is established，ML has been affirmed one kind of three-valued logic by many scholars.However，for medium proposition logic（MP） being as kernel theory of ML，Pan gave out a model of infinite valued of MP，and proved the theorems of completeness and reliability.Based on this，this paper sets up a new model of infinite valued of MP whose truth valued range is [0,λ)∪(λ,1](λ∈(0.5,1)),some properties of the model are investigated，and the theorems of completeness and reliability are proved.This improved model not only further shows that “medium proposition logic is one kind of three valued logic” is incorrect，but also rightly depicts the medium principle which is basic idea of MP，and offers foundation for MP used in more other fields.

Key words: medium proposition logic, three-valued model, infinite-valued model, completeness, soundness

中图分类号:

TP301.6

张胜礼^1，2，潘正华². 中介命题逻辑一种新的无穷值语义模型及意义[J]. 计算机工程与应用, 2010, 46(31): 45-49.

ZHANG Sheng-li^1，2，PAN Zheng-hua². One new model of infinite valued for medium proposition logic and its meaning[J]. Computer Engineering and Applications, 2010, 46(31): 45-49.

[1]	蒋斌，梁小安，张亮，高杨军. 基于改进修正权重的证据组合方法[J]. 计算机工程与应用, 2021, 57(24): 100-106.
[2]	冯凯，李婧. k元n方体网络的子网络可靠性[J]. 计算机工程与应用, 2021, 57(16): 83-89.
[3]	李锐，李晓会，陈鑫. 可靠性绿色物流配送选址-路径问题研究[J]. 计算机工程与应用, 2020, 56(23): 237-244.
[4]	任慧. 考虑运输中断的可靠三级供应链网络设计[J]. 计算机工程与应用, 2019, 55(6): 265-270.
[5]	张开碧，周震，韦鹏程，李莉. 外包数据库多关键词可验证密文搜索方案[J]. 计算机工程与应用, 2019, 55(17): 76-81.
[6]	单文波1，陈博伶2，钟秋浩1，王建新1. 基于终端数据的电信承载网异常节点定位方法[J]. 计算机工程与应用, 2019, 55(11): 85-92.
[7]	荣宇音，徐罗山. 逻辑系统L和BL的广义演绎定理的逆定理[J]. 计算机工程与应用, 2019, 55(1): 47-49.
[8]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[9]	程红霞1，谭新莲2. 多次重传的链状无线传感网络可靠性分析[J]. 计算机工程与应用, 2018, 54(5): 79-84.
[10]	靖天才，方景龙，魏丹. 面向复杂UML的Markov建模方法研究[J]. 计算机工程与应用, 2018, 54(4): 60-65.
[11]	贺朝阳，杜玉越，王路. 特殊循环结构的过程挖掘算法[J]. 计算机工程与应用, 2018, 54(22): 42-50.
[12]	王涛，蔡金燕，孟亚峰. 总线型细胞阵列设计与空闲细胞选择方法[J]. 计算机工程与应用, 2017, 53(8): 44-49.
[13]	任大勇. 用直觉模糊Petri网构建的供应链可靠性诊断模型[J]. 计算机工程与应用, 2017, 53(5): 260-265.
[14]	曹芳波，吕娜，陈柯帆，张步硕，刘创. 航空集群网络可靠性估计路由选择策略[J]. 计算机工程与应用, 2017, 53(24): 129-135.
[15]	杨楠1，陈远波2，王燕杰2，李青2. 基于度约束最短传输树的多路径传输协议[J]. 计算机工程与应用, 2017, 53(11): 126-130.

中介命题逻辑一种新的无穷值语义模型及意义

One new model of infinite valued for medium proposition logic and its meaning

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics