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

摘要：

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

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

所属期刊栏目：46

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 60973156

在线出版日期：2011-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：45-49,71