Title :
The Theory of Membership Degree of T-Conclusion in Propositional Fuzzy Logic Systems
Author :
Jiancheng Zhang ; Lianta Su
Author_Institution :
Sch. of Math. & Comput. Sci., Quanzhou Normal Univ., Quanzhou, China
Abstract :
Based on the analysis of the constructions of T-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of membership degree of formulas A is a consequence of T (T-conclusion) in Lukasiewicz fuzzy propositional logic system, Godel fuzzy propositional logic system and the R0 fuzzy propositional logic system. The condition and related calculations of formulas A being T-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a T-conclusion were given. We provide its algorithm formulas of membership degree of formulas A is a T-conclusion by the constructions of theory root.
Keywords :
fuzzy logic; Łukasiewicz fuzzy propositional logic system; Γ consequence; Γ-conclusion membership degree theory; Godel fuzzy propositional logic system; R0 fuzzy propositional logic system; completeness theorem; deduction theorem; propositional fuzzy logic systems; truth degree of formula theory; Calculus; Cognition; Cost accounting; Fuzzy logic; Fuzzy reasoning; Lattices; Presses; Γ-conclusion; Deduction theorem; Membership degree; Root; Theory;
Conference_Titel :
Intelligent Human-Machine Systems and Cybernetics (IHMSC), 2013 5th International Conference on
Print_ISBN :
978-0-7695-5011-4
DOI :
10.1109/IHMSC.2013.125
