Residual implications on lattice L of intuitionistic truth values based on powers of continuous t-norms

Abstract Residual implications are a special class of implications on the lattice L of intuitionistic truth values which possess interesting theoretical and practical properties. Many studies have investigated the properties of the types of implications on L and established the relationships among them. In this paper, the powers of the continuous t-norms T on L are introduced, and their properties studied. A new type of implication on L , termed the T -power based implication, is derived from the powers of the continuous t-norms T , as denoted by I I T and satisfies certain properties of the residual implications defined on the interval [0, 1] under certain conditions. Some important properties are analyzed. These results collectively reveal that they do not intersect the most well-known classes of fuzzy implications. Finally, we investigate the solutions of some Boolean-like laws for I I T .

[1]  J. Goguen L-fuzzy sets , 1967 .

[2]  Zeshui Xu,et al.  Derivative and Differential Operations of Intuitionistic Fuzzy Numbers , 2015, Int. J. Intell. Syst..

[3]  B. Jayaram Solution to an open problem: a characterization of conditionally cancellative t-subnorms , 2012 .

[4]  Glad Deschrijver,et al.  Arithmetic operators in interval-valued fuzzy set theory , 2007, Inf. Sci..

[5]  R. Mesiar,et al.  L-Fuzzy Sets and Isomorphic Lattices: Are All the “New” Results Really New? † , 2018, Mathematics.

[6]  Yongming Li,et al.  Algebraic structures of interval-valued fuzzy (S, N)-implications , 2012, Int. J. Approx. Reason..

[7]  Humberto Bustince,et al.  Generalized interval-valued OWA operators with interval weights derived from interval-valued overlap functions , 2016, Int. J. Approx. Reason..

[8]  Sándor Jenei,et al.  Continuity of left-continuous triangular norms with strong induced negations and their boundary condition , 2001, Fuzzy Sets Syst..

[9]  Joan Torrens,et al.  Some characterizations of T-power based implications , 2019, Fuzzy Sets Syst..

[10]  K. Atanassov New operations defined over the intuitionistic fuzzy sets , 1994 .

[11]  Bao Qing Hu,et al.  The distributive laws of fuzzy implications over overlap and grouping functions , 2018, Inf. Sci..

[12]  Benjamín R. C. Bedregal,et al.  On interval fuzzy S-implications , 2010, Inf. Sci..

[13]  Chris Cornelis,et al.  The standard completeness of interval-valued monoidal t-norm based logic , 2012, Inf. Sci..

[14]  Zhongke Shi,et al.  Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets , 2014, Int. J. Approx. Reason..

[15]  Chris Cornelis,et al.  On the representation of intuitionistic fuzzy t-norms and t-conorms , 2004, IEEE Transactions on Fuzzy Systems.

[16]  M. Gorzałczany A method for inference in approximate reasoning based on interval-valued fuzzy sets , 1987 .

[17]  Balasubramaniam Jayaram,et al.  The ⊛-composition of fuzzy implications: Closures with respect to properties, powers and families , 2015, Fuzzy Sets Syst..

[18]  Benjamín R. C. Bedregal,et al.  On the Boolean-like Law I(x, I(y, x)) = 1 , 2014, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[19]  Etienne Kerre,et al.  Triangular norms and related operators in L*-fuzzy set theory , 2005 .

[20]  Benjamín R. C. Bedregal,et al.  On interval fuzzy negations , 2010, Fuzzy Sets Syst..

[21]  Graçaliz Pereira Dimuro,et al.  On residual implications derived from overlap functions , 2015, Inf. Sci..

[22]  Chris Cornelis,et al.  Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application , 2004, Int. J. Approx. Reason..

[23]  Elbert A. Walker,et al.  Powers of t-norms , 1999, FUZZ-IEEE'99. 1999 IEEE International Fuzzy Systems. Conference Proceedings (Cat. No.99CH36315).

[24]  Benjamín R. C. Bedregal,et al.  On the characterizations of fuzzy implications satisfying I(x, I(y, z))=I(I(x, y), I(x, z)) , 2018, Int. J. Approx. Reason..

[25]  Adrião Duarte Dória Neto,et al.  Relating De Morgan triples with Atanassov's intuitionistic De Morgan triples via automorphisms , 2011, Int. J. Approx. Reason..

[26]  Krassimir T. Atanassov,et al.  Intuitionistic fuzzy sets , 1986 .

[27]  Benjamín R. C. Bedregal,et al.  Interval representations, Łukasiewicz implicators and Smets-Magrez axioms , 2013, Inf. Sci..

[28]  Joan Torrens,et al.  Fuzzy implication functions based on powers of continuous t-norms , 2017, Int. J. Approx. Reason..

[29]  Yao Ouyang,et al.  On fuzzy implications determined by aggregation operators , 2012, Inf. Sci..

[30]  F. Smarandache A Unifying Field in Logics: Neutrosophic Logic. , 1999 .

[31]  Radko Mesiar,et al.  On special fuzzy implications , 2009, Fuzzy Sets Syst..

[32]  Ronald R. Yager,et al.  Pythagorean Membership Grades in Multicriteria Decision Making , 2014, IEEE Transactions on Fuzzy Systems.

[33]  Janusz Kacprzyk,et al.  Distances between intuitionistic fuzzy sets , 2000, Fuzzy Sets Syst..

[34]  Balasubramaniam Jayaram,et al.  On the continuity of residuals of triangular norms , 2010 .

[35]  Etienne E. Kerre,et al.  Implicators based on binary aggregation operators in interval-valued fuzzy set theory , 2005, Fuzzy Sets Syst..

[36]  Chris Cornelis,et al.  A characterization of interval-valued residuated lattices , 2008, Int. J. Approx. Reason..

[37]  Humberto Bustince,et al.  Intuitionistic Fuzzy Implication Operators - An Expression And Main Properties , 2004, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[38]  Benjamín R. C. Bedregal,et al.  Archimedean overlap functions: The ordinal sum and the cancellation, idempotency and limiting properties , 2014, Fuzzy Sets Syst..

[39]  Bao Qing Hu,et al.  On interval additive generators of interval overlap functions and interval grouping functions , 2017, Fuzzy Sets Syst..

[40]  Sándor Jenei,et al.  A more efficient method for defining fuzzy connectives , 1997, Fuzzy Sets Syst..

[41]  Roberto Ghiselli Ricci T-norms with strong negations: Solution of two open problems , 2018, Fuzzy Sets Syst..