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
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;
Conference_Titel :
Machine Learning and Cybernetics, 2004. Proceedings of 2004 International Conference on
Print_ISBN :
0-7803-8403-2
DOI :
10.1109/ICMLC.2004.1382223