DocumentCode
2342230
Title
An interpretation of infinite valued for medium propositional logic
Author
Pan, Zheng-Hua ; Zhu, Wu-Jia
Author_Institution
Sch. of Sci., Southern Yangtze Univ., Jiangsu, China
Volume
4
fYear
2004
fDate
26-29 Aug. 2004
Firstpage
2495
Abstract
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.
Keywords
formal logic; infinite valid formula; intuitionist proposition logic; medium propositional logic; reliability; semantic characteristic problem; Concrete; Cybernetics; Displays; Electronic mail; Logic; Machine learning; Nuclear measurements; Reliability theory; Set theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Machine Learning and Cybernetics, 2004. Proceedings of 2004 International Conference on
Print_ISBN
0-7803-8403-2
Type
conf
DOI
10.1109/ICMLC.2004.1382223
Filename
1382223
Link To Document