Academic Journals Database
Disseminating quality controlled scientific knowledge

The Theory of Membership Degree of Γ-Conclusion in Several n-Valued Logic Systems

ADD TO MY LIST
 
Author(s): Jiancheng Zhang

Journal: American Journal of Operations Research
ISSN 2160-8830

Volume: 02;
Issue: 02;
Start page: 147;
Date: 2012;
Original page

Keywords: N-Valued Propositional Logic | Γ-Conclusion | Theory | Root | Membership Degree

ABSTRACT
Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.
Save time & money - Smart Internet Solutions     

Tango Rapperswil
Tango Rapperswil