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

摘要：

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

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

作者: 潘正华

作者单位: 江南大学理学院数理研究所,无锡,214122

会议类型: 国内会议

会议名称: 2007全国理论计算机科学学术年会

会议地点: 南宁

会议语种:中文

页码: 158-164

在线出版日期: 2007-11-01（万方平台首次上网日期，不代表论文的发表时间）