On the strict logic foundation of fuzzy reasoning

  • Authors:
  • D. W. Pei

  • Affiliations:
  • Yancheng Teachers College, Department of Mathematics, 224002, Yancheng and Research Center for Science, Xi’an Jiaotong University, Xi’an, 710049, China

  • Venue:
  • Soft Computing - A Fusion of Foundations, Methodologies and Applications
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper focuses on the logic foundation of fuzzy reasoning. At first, a new complete first-order fuzzy predicate calculus system K* corresponding to the formal system L* is built. Based on the many-sort system Kms* corresponding to K*, the triple I methods of FMP and FMT for fuzzy reasoning and their consistency are formalized, thus fuzzy reasoning is put completely and rigorously into the logic framework of fuzzy logic.