会议论文详细信息
中介命题逻辑的一种无穷值语义模型及其意义
文献类型：会议
作者单位：江南大学理学院数理研究所,无锡,214122
会议文献：2007全国理论计算机科学学术年会论文集
会议名称：2007全国理论计算机科学学术年会
会议日期：20071100
会议地点：南宁
主办单位：中国计算机学会;广西大学;计算机研究与发展编辑部
出版日期：20071100
语 种：中文
摘 要：中介逻辑(medium logic, ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在此模型下具有可靠性与完备性.此模型的存在表明,认定中介逻辑是一种三值逻辑的理由是不充分的.该模型更适合反映中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了一个基础.
关 键 词：中介命题逻辑 三值语义模型 有穷值模型 无穷值模型 完备性 可靠性
分 类 号：O212] O142[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
