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.
- A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms
- Foundations of fuzzy reasoning
- scientific article; zbMATH DE number 3887682 (Why is no real title available?)
- scientific article; zbMATH DE number 3919863 (Why is no real title available?)
- scientific article; zbMATH DE number 3987206 (Why is no real title available?)
- On the implication operator in fuzzy logic
- On the measure of fuzziness and negation. II. Lattices
- Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
- Semantics of implication operators and fuzzy relational products
- Two fuzzier implication operators in the theory of fuzzy power sets
This page was built for publication: On fuzzy implication in De Morgan algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q582277)
