
In t-norm-based fuzzy logics there are different ways to introduce implication operators. Most common is the reference to a residuation operation similar to intuitionistic logic, yielding the R-implications. A definition via reference to the classically equivalent formula \(\neg p \lor q\) yields S-implications depending upon a t-conorm and a negation function. Similarly, the QL-implications are defined via reference to the classically equivalent formula \(\neg p \lor (p\land q)\) and hence depend upon a t-norm, a t-conorm, and a negation function. The authors study this last class of implication operators. First, they discuss how properties of QL-implications depend upon properties of their defining functions. And second, they compare the class of QL-implications with the classes of the R-implications and the S-implications.
implication operations, Many-valued logic, fuzzy implications, many-valued logic, t-norm, fuzzy logic, Fuzzy logic; logic of vagueness, Functional equations and inequalities
implication operations, Many-valued logic, fuzzy implications, many-valued logic, t-norm, fuzzy logic, Fuzzy logic; logic of vagueness, Functional equations and inequalities
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 68 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
