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

被引：4

作者：

潘正华

机构：

[1] 江南大学理学院数理研究所

来源：

计算机研究与发展 | 2008年 / S1期

关键词：

中介命题逻辑; 三值模型; 有穷和无穷值模型; 完备性; 可靠性;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

140502 [人工智能];

摘要：

中介逻辑(medium logic,ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在此模型下具有可靠性与完备性.此模型的存在表明,认定中介逻辑是一种三值逻辑的理由是不充分的.该模型更适合反映中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了一个基础.

引用

页码：158 / 164

页数：7

共 19 条

[1]

中介谓词逻辑系统的λ-归结[J] 潘正华软件学报 2003, 03

[2]

中介逻辑的命题演算系统（MP*）的一些特征 [J].