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

• 作者: 张胜礼 潘正华
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 中介命题逻辑 三值模型 无穷值模型 完备性 可靠性
• 年，卷（期）: 2010,（31）
• 页码范围: 45-49,71
• 分类号: TP301.6
• 字数: 8424字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.31.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘正华	江南大学理学院	45	217	9.0	13.0