An interpretation of infinite valued for medium propositional logic
Zhenghua Pan, Wujia Zhu · 2005
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.