1
1. 10. 2018.
Continuous Functions, g-Generated Implications and Fuzzy Dependencies in Fuzzy Relation Instances
A fuzzy formula does not necessarily follow from a set of fuzzy formulas. In the case when fuzzy formulas and fuzzy dependencies are mutually identified, the corresponding equivalent statement has an obvious meaning. An affirmative statement, however, rises the question of automatization. In our earlier research, we offered an efficient algorithm based on application of selected fuzzy logic operators and resolution principle. In this paper we prove that those ingredients of the algorithm that explicitly depend on the choice of fuzzy implication operator, hold also true for the class of g-generated fuzzy implications.