Cancellativity properties for t-norms and t-subnorms

On the one hand, cancellativity properties are mainly used to express to which extend the partial functions of a t-subnorm T are injective. On the other hand, the zooms of T corresponding to its non-trivial Archimedean components are t-subnorms that largely determine T. Fixing one out of four basic types of cancellativity (cancellativity, conditional cancellativity, weak cancellativity and weak conditional cancellativity) we figure out which less restrictive type of cancellativity expresses that all maximal Archimedean zooms of T satisfy the given cancellativity property. We lay bare the mutual relationships between all these types of cancellativity and solve an open problem posed by Klement et al.

[1]  Lazaros S. Iliadis,et al.  Application of fuzzy T-norms towards a new Artificial Neural Networks' evaluation framework: A case from wood industry , 2008, Inf. Sci..

[2]  On Quasi-Separative Semigroups , 2003, math/0311414.

[3]  Radko Mesiar,et al.  Problems on triangular norms and related operators , 2004, Fuzzy Sets Syst..

[4]  Bernard De Baets,et al.  Isomorphic continuous connectives in fuzzy logic , 2005, J. Intell. Fuzzy Syst..

[5]  Bernard De Baets,et al.  Rotation-invariant t-norms: Where triple rotation and rotation-annihilation meet , 2009, Fuzzy Sets Syst..

[6]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[7]  Michal K. Urbanski,et al.  Fuzzy Arithmetic Based On Boundary Weak T-Norms , 2005, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[8]  Franco Montagna,et al.  On Weakly Cancellative Fuzzy Logics , 2006, J. Log. Comput..

[9]  Berthold Schweizer,et al.  Probabilistic Metric Spaces , 2011 .

[10]  Angus Macintyre,et al.  Trends in Logic , 2001 .

[11]  Sándor Jenei,et al.  A note on the ordinal sum theorem and its consequence for the construction of triangular norms , 2002, Fuzzy Sets Syst..

[12]  Milos S. Kurilic,et al.  A family of strict and discontinuous triangular norms , 1998, Fuzzy Sets Syst..

[13]  Radko Mesiar,et al.  Archimedean components of triangular norms , 2005, Journal of the Australian Mathematical Society.

[14]  J. Fodor Contrapositive symmetry of fuzzy implications , 1995 .

[15]  Jun Li,et al.  A conditionally cancellative left-continuous t-norm is not necessarily continuous , 2006, Fuzzy Sets Syst..

[16]  Mourad Oussalah,et al.  On the use of Hamacher's t-norms family for information aggregation , 2003, Inf. Sci..

[17]  A. Mesiarová,et al.  H-transformation of t-norms , 2006 .

[18]  L. Fuchs Partially Ordered Algebraic Systems , 2011 .

[19]  E. Hewitt,et al.  The ₁-algebra of a commutative semigroup , 1956 .

[20]  Petr Hájek,et al.  Observations on the monoidal t-norm logic , 2002, Fuzzy Sets Syst..

[21]  Francesc Esteva,et al.  Review of Triangular norms by E. P. Klement, R. Mesiar and E. Pap. Kluwer Academic Publishers , 2003 .

[22]  Franco Montagna,et al.  A general method for constructing left-continuous t-norms , 2003, Fuzzy Sets Syst..

[23]  Witold Pedrycz,et al.  A motion compression/reconstruction method based on max t-norm composite fuzzy relational equations , 2006, Inf. Sci..