Fuzzy Implication Classes Satisfying a Boolean-Like Law

  title={Fuzzy Implication Classes Satisfying a Boolean-Like Law},
  author={Anderson Paiva Cruz and Benjam{\'i}n R. C. Bedregal and Regivan H. N. Santiago},
Properties that are always true in the classical theory (Boolean laws) have been extended to fuzzy theory and so-called Boolean-like laws. The fact that they do not remain valid in any standard fuzzy set theory has induced a broad investigation. In this paper we show the sufficient and necessary conditions that a fundamental Boolean-like law—y ≤ I(x,y)—holds in fuzzy logics. We focus the investigation on the following classes of fuzzy implications: (S,N)-, R-, QL-, D-, (N,T)-, f-, g- and h… 


The law x ≤ I(y; x) and the three main classes of fuzzy implications
It is shown that the conditions that the Boolean-like law x ≤ I(y; x) holds in fuzzy logic, namely: (S,N)-, R- and QL-implications.
A Characterization of Classic-Like Fuzzy Semantics
This paper proves that there are uncountable classes of classic-like fuzzy semantics and provides a characterization of them and defines a generic consequence semantic relation for fuzzy semantics that coincides with the classical one.
On Iterative Boolean-Like Laws of Fuzzy Sets
It is shown that beyond the classical De Morgan triplets of connectives described by t-norms, t-conorms and strong negations there are interesting models with infinite solutions and surprising situations where there are infinite solutions.
A Survey on Fuzzy Implication Functions
This paper aims to present an overview on fuzzy implication functions that usually are constructed from t-norms and t-conorms but also from other kinds of aggregation operators.
(S, N)- and R-implications: A state-of-the-art survey