文献类型：期刊文章

作　　者：潘正华[1]

机构地区：[1]江南大学理学院数理研究所,无锡214122

出　　处：《计算机研究与发展》

基　　金：国家自然科学基金项目(60575038)

年　　份：2008

卷　　号：45

期　　号：z1

起止页码：158-164

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

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

分 类 号：TP18]