DocumentCode
507245
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
Volume
6
fYear
2009
fDate
14-16 Aug. 2009
Firstpage
363
Lastpage
367
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems and Knowledge Discovery, 2009. FSKD '09. Sixth International Conference on
Conference_Location
Tianjin
Print_ISBN
978-0-7695-3735-1
Type
conf
DOI
10.1109/FSKD.2009.55
Filename
5359870
Link To Document