论文研究-中介命题逻辑一种新的无穷值语义模型及意义.pdf

【文件属性】：
文件名称：论文研究-中介命题逻辑一种新的无穷值语义模型及意义.pdf
文件大小：591KB
文件格式：PDF
更新时间：2022-10-01 08:51:12
论文研究 中介逻辑ML（Medium Logic），自建立了它的三值语义模型后，ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统，潘给出了一种无穷值语义模型，并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上，给出一种真值域为[0,λ)∪(λ,1](λ∈(0.5,1))的无穷值语义模型，研究了它的性质，证明了中介命题逻辑在该模型下也具有可靠性与完备性。新模型的存在进一步表明，认定中介逻辑是一种三值逻辑的理由是不充分的。新模型不仅反映了中介逻辑的基本思想，而且为中介逻辑在其他领域的应用提供了基础。