-
题名中介命题逻辑一种新的无穷值语义模型及意义
被引量：5
- 1
-
-
作者
张胜礼
潘正华
-
机构
兴义民族师范学院计算机科学系
江南大学理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第31期45-49,71,共6页
-
基金
国家自然科学基金No.60973156~~
-
文摘
中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一种真值域为[0λ)(λ1](λ?(0.51))的无穷值语义模型,研究了它的性质,证明了中介命题逻辑在该模型下也具有可靠性与完备性。新模型的存在进一步表明,认定中介逻辑是一种三值逻辑的理由是不充分的。新模型不仅反映了中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了基础。
-
关键词
中介命题逻辑
三值模型
无穷值模型
完备性
可靠性
-
Keywords
medium proposition logic
three-valued model
infinite-valued model
completeness
soundness
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名中介命题逻辑的一种无穷值语义模型及其意义
被引量：3
- 2
-
-
作者
潘正华
-
机构
江南大学理学院数理研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第z1期158-164,共7页
-
基金
国家自然科学基金项目(60575038)
-
文摘
中介逻辑(medium logic,ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在此模型下具有可靠性与完备性.此模型的存在表明,认定中介逻辑是一种三值逻辑的理由是不充分的.该模型更适合反映中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了一个基础.
-
关键词
中介命题逻辑
三值模型
有穷和无穷值模型
完备性
可靠性
-
Keywords
medium proposition logic
three-valued model
infinite-valued model
completeness
reliability
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
