A triangular norm-based fuzzy predicate logic
Fuzzy Sets and Systems
Unified full implication algorithms of fuzzy reasoning
Information Sciences: an International Journal
Computers & Mathematics with Applications
Fuzzy Sets and Systems
Perturbation of fuzzy sets and fuzzy reasoning based on normalized Minkowski distances
Fuzzy Sets and Systems
Formalization of implication based fuzzy reasoning method
International Journal of Approximate Reasoning
Robustness analysis of full implication inference method
International Journal of Approximate Reasoning
Hierarchical structure and applications of fuzzy logical systems
International Journal of Approximate Reasoning
Truth degree analysis of fuzzy reasoning
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.00 |
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.