One New Interpretation of Infinite Valued for Medium Proposition Logic

Since three-valued model of medium logic (ML) was 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, on which based, 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, λ)∪(λ,1](λ∈ (0. 5, 1)), some properties of the model are investigated, and the theorems of completeness and reliability are proved, also. This new 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 offered foundation for MP used in more other fields.

[1]  Zhenghua Pan,et al.  Differentiation and Processing of Contradictory Knowledge and Opposite Knowledge , 2007, Fourth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2007).

[2]  Zheng-Hua Pan,et al.  An interpretation of infinite valued for medium propositional logic , 2004, Proceedings of 2004 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.04EX826).

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

[4]  L. Bolc,et al.  Many-Valued Logics , 1992 .

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

[6]  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.

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

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