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 K ms * 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.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
The author is indebted to anonymous referee for his useful comments which have helped to improve the paper.
Rights and permissions
About this article
Cite this article
Pei, D. On the strict logic foundation of fuzzy reasoning. Soft Computing 8, 539–545 (2004). https://doi.org/10.1007/s00500-003-0312-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-003-0312-0