中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一种真值域为[0,λ)U(λ,1](λ∈(0.5,1))的无穷值语义模型,研究了它的性质,证明了中介命题逻辑在该模型下也具有可靠性与完备性。新模型的存在进一步表明,认定中介逻辑是一种三值逻辑的理由是不充分的。新模型不仅反映了中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了基础。
Since three-valued model of medium logic(ML) is established, ML has been affirmed one kind of three-valued logic by many scholars.However,for medium proposition logic(MP) being as kernel theory of ML,Pan gave out a model of infinite valued of MP, and proved the theorems of completeness and reliability.Based on this, this paper sets up a new model of infinite valued of MP whose truth valued range is [0,λ)U(λ, 1](λ ∈(0.5, 1)),some properties of the model are investigated, and the theorems of completeness and reliability are proved.This improved model not only further shows that "medium proposition logic is one kind of three valued logic" is incorrect,but also rightly depicts the medium principle which is basic idea of MP,and offers foundation for MP used in more other fields.