Sufficient triangular norms in many-valued logics with standard negation

In many-valued logics with the unit interval as the set of truth values, from the standard negation and the product (or, more generally, from any strict Frank t-norm) all measurable logical functions can be derived, provided that also operations with countable arity are allowed. The question remained open whether there are other t-norms with this property or whether all strict t-norms possess this property. We give a full solution to this problem (in the case of strict t-norms), together with convenient sufficient conditions. We list several families of strict t-norms having this property and provide also counterexamples (the Hamacher product is one of them). Finally, we discuss the consequences of these results for the characterization of tribes based on strict t-norms.

[1]  Petr Hájek,et al.  A complete many-valued logic with product-conjunction , 1996, Arch. Math. Log..

[2]  Robert McNaughton,et al.  A Theorem About Infinite-Valued Sentential Logic , 1951, J. Symb. Log..

[3]  Mirko Navara,et al.  The σ-complete MV-algebras which have enough states , 2005 .

[4]  Mirko Navara,et al.  A survey on different triangular norm-based fuzzy logics , 1999, Fuzzy Sets Syst..

[5]  M. J. Frank.  On the simultaneous associativity of F(x, y) and x+y-F(x, y). (Short Communication). , 1978 .

[6]  M. J. Frank.  On the simultaneous associativity ofF(x,y) andx +y -F(x,y) , 1979 .

[7]  Radko Mesiar,et al.  Diagonals of continuous triangular norms , 1999, Fuzzy Sets Syst..

[8]  Petr Hájek,et al.  Residuated fuzzy logics with an involutive negation , 2000, Arch. Math. Log..

[9]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[10]  E. Klement.  Construction of Fuzzy σ-algebras using triangular norms , 1982 .

[11]  Christian Eitzinger,et al.  Triangular Norms , 2001, Künstliche Intell..

[12]  Franco Montagna,et al.  An Algebraic Approach to Propositional Fuzzy Logic , 2000, J. Log. Lang. Inf..

[13]  Mirko Navara,et al.  Characterization of Measures Based on Strict Triangular Norms , 1999 .

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

[15]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[16]  G. Barbieri,et al.  Characterization of T-measures , 2003, Soft Comput..

[17]  J. K. Hunter,et al.  Measure Theory , 2007 .

[18]  Mirko Navara,et al.  Nearly Frank T-norms and the Characterization of T-measures , 2007 .

[19]  K. Menger.  Statistical Metrics. , 1942, Proceedings of the National Academy of Sciences of the United States of America.

[20]  Radko Mesiar,et al.  Ts-Tribes andTs-Measures , 1996 .

[21]  D. Butnariu,et al.  On triangular norm-based propositional fuzzy logics , 1995 .

[22]  R. Lowen.  Fuzzy Set Theory , 1996 .

[23]  Mirko Navara,et al.  A characterization of tribes with respect to the Łukasiewicz t-norm , 1997 .

[24]  E. Trillas.  Sobre funciones de negación en la teoría de conjuntos difusos. , 1979 .

[25]  Hans Weber,et al.  A Representation Theorem and a Lyapunov Theorem for Ts-Measures: The Solution of Two Problems of Butnariu and Klement , 2000 .

[26]  Petr Cintula.  About axiomatic systems of product fuzzy logic , 2001, Soft Comput..

[27]  Robert Lowen.  Fuzzy set theory - basic concepts, techniques and bibliography , 1996 .

[28]  Vilém Novák,et al.  Open problems from the 2nd International Conference on Fuzzy Sets Theory and Its Applications , 1996, Fuzzy Sets Syst..

[29]  Lluis Godo,et al.  Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[30]  D. Butnariu,et al.  Triangular Norm-Based Measures and Games with Fuzzy Coalitions , 1993 .