DocumentCode
3313010
Title
Consistency Degrees of Theories in Lukasiewicz Fuzzy and n-valued Propositional Logic Systems
Author
Zhang, Jiancheng ; Su, Lianta ; Chen, Shuili
Author_Institution
Dept. of Math., Quanzhou Normal Univ., Quanzhou
Volume
7
fYear
2008
fDate
18-20 Oct. 2008
Firstpage
342
Lastpage
346
Abstract
By means of theory of truth degrees of formulas, according to deduction theorems and completeness theorems, the new concepts of consistency degrees and polar index for general theories in Lukasewicz fuzzy and n-valued propositional logic systems are introduced. Moreover, sufficient and necessary conditions for a theory Gamma to be consistent, inconsistent and fully divergent are obtained. Finally, Some important properties of truth degree of formula are proposed.
Keywords
fuzzy logic; Lukasiewicz fuzzy logic systems; completeness theorems; deduction theorems; n-valued propositional logic systems; Algebra; Cost accounting; Fuzzy logic; Fuzzy sets; Fuzzy systems; Mathematics; Multivalued logic; Consistency degrees; Theory; Truth degrees;
fLanguage
English
Publisher
ieee
Conference_Titel
Natural Computation, 2008. ICNC '08. Fourth International Conference on
Conference_Location
Jinan
Print_ISBN
978-0-7695-3304-9
Type
conf
DOI
10.1109/ICNC.2008.352
Filename
4667997
Link To Document