Article citationsMore>>

M. S. Ying, “Compactness, the L?wenheim-Skolem Property and the Direct Product of Lattices of Truth Values,” Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Vol. 38, 1992, pp. 521-524.

has been cited by the following article:

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

  AUTHORS: Jiancheng Zhang

  KEYWORDS: N-Valued Propositional Logic; Γ-Conclusion; Theory; Root; Membership Degree

  JOURNAL NAME: American Journal of Operations Research, Vol.2 No.2, June 20, 2012

  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.