Title :
Consistency Degrees of Theories in the Revised n-Valued Kleene Logical System
Author :
Li Jun ; Lan Qian
Author_Institution :
Sch. of Sci., Lanzhou Univ. of Technol., Lanzhou, China
Abstract :
Based on the truth degrees of formulas and the generalized deduction theorem, the present paper proposes an index reflecting the extent to which a general theory is consistent in the revised n-valued Kleene logical system. A sufficient and necessary condition for theories being consistent or inconsistent are given.
Keywords :
formal logic; consistency degrees; general theory; generalized deduction theorem; revised n-valued Kleene logical system; Algebra; Civil engineering; Fuzzy logic; Fuzzy sets; Fuzzy systems; Logic functions; Multivalued logic; Paper technology; Consistency degree; Hausdorff metric; Truth degree;
Conference_Titel :
Natural Computation, 2009. ICNC '09. Fifth International Conference on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3736-8
DOI :
10.1109/ICNC.2009.611
