An interpretation of infinite valued for medium propositional logic

For the semantic characteristic problems of medium proposition logic (MP), some people had given out the three values interpretation (model) in the past, so many scholars (include founders) affirmed that medium logic is one kind of three valued logic. But to affirm MP is a three valued logic, it is necessary to prove that MP does not exist other interpretations, for example, the intuitionist proposition logic is a classical model but is not a classical logic. An interpretation of infinite valued of MP has been given, and concepts which defined the infinite (or finite) valued valid formula, theorems of completeness and reliability have been proved. Therefore we can show conclusion that "the medium proposition logic is one kind of three valued logic" is incorrect.

[1]  Zhenhua Pan On the reliability of the predical calculus system (MF) of medium logic , 1989, Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic.

[2]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[3]  Xiao Xian,et al.  The non-increment of Minkovski distance of propositional connectives in system MP , 1989, Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic.

[4]  Pan Zheng λ-Resolution of the Medium Predicate Logic System , 2003 .

[5]  Atwell R. Turquette,et al.  On the Many-Valued Logics , 1941 .

[6]  X Xiao,et al.  A SYSTEM OF MEDIUM AXIOMATIC SET THEORY , 1988 .