On fuzzy implication in De Morgan algebras (Q582277)

The authors consider the following implications which are defined on a De Morgan algebra \((L,\wedge,\vee,^-,0,1):\) the Kleene-Dienes implication \(x\to^{A}y=\bar x\vee y\), the Zadeh implication \(x\to^{B}y=(x\wedge y)\vee \bar x\) and the Willmott implication \(x\to^{C}y=(\bar x\vee y)\wedge (x\vee \bar y\vee (\bar x\wedge \bar y))\). Several identities and inequalities satisfied by all of these implications are established. For each of these implications the following concept of implicative filter is introduced: a subset \(F\subseteq L\) such that \(1\in F\) and (x\(\in F\&x\to y\in F\Rightarrow y\in F)\). Various characterizations of A-, B-, and C-implicative filters are established. A filter in the lattice-theoretical sense is an A-implicative filter if and only if it is a B-implicative filter, in which case it is also a C-implicative filter. According to the authors' abstract, this paper is in fact a study of ``the behaviour of some fuzzy implications with respect to measure of fuzziness and their deductive power''.