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

• 作者: 潘正华
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 中介命题逻辑 三值模型 有穷和无穷值模型 完备性 可靠性
• 年，卷（期）: 2008,（z1）
• 所属期刊栏目: 数据、程序及其理论
• 页码范围: 158-164
• 页数: 7页
• 分类号: TP18
• 字数: 7666字
• 语种: 中文

摘要

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

作者信息

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