An Application of Classical Logic’s Laws in Formulas of Fuzzy Implications

Abstract

The crucial role that fuzzy implications play in many applicable areas was our motivation to revisit the topic of them. In this paper, we apply classical logic’s laws such as De Morgan’s laws and the classical law of double negation in known formulas of fuzzy implications. These applications lead to new families of fuzzy implications. Although a duality in properties of the preliminary and induced families is expected, we will prove that this does not hold, in general. Moreover, we will prove that it is not ensured that these applications lead us to fuzzy implications, in general, without restrictions. We generate and study three induced families, the so-called D′-implications, QL′-implications, and R′-implications. Each family is the “closest” to its preliminary-“creator” family, and they both are simulating the same (or a similar) way of classical thinking.