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

发布时间：2018-03-13 16:16

  本文选题：中介命题逻辑　切入点：三值模型　出处：《计算机工程与应用》2010年31期 　论文类型：期刊论文

【摘要】：中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一种真值域为[0啜λ)，

本文编号：1607147