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

Volume

1

fYear

2013

Firstpage

500

Lastpage

503

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; R₀ 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; &#x0393;-conclusion; Deduction theorem; Membership degree; Root; Theory;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Human-Machine Systems and Cybernetics (IHMSC), 2013 5th International Conference on

Print_ISBN

978-0-7695-5011-4

Type

conf

DOI

10.1109/IHMSC.2013.125

Filename

6643937