Title :
One New Interpretation of Infinite Valued for Medium Proposition Logic
Author :
Zhang, Shengli ; Pan, Zhenghua
Author_Institution :
Dept. of Comput. Sci., Xingyi Normal Coll. for Nat., Xingyi, China
Abstract :
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.
Keywords :
theorem proving; kernel theory; medium proposition logic; theorem proving; three-valued logic model; Computer science; Cost accounting; Educational institutions; Electronic mail; Fuzzy logic; Fuzzy sets; Fuzzy systems; Kernel; Power capacitors; Reliability theory; completeness and soundness; infinite-valued model; medium proposition logic; three-valued model;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery, 2009. FSKD '09. Sixth International Conference on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3735-1
DOI :
10.1109/FSKD.2009.55
