Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics

Information Sciences

Volumn 180, Issue 8, 2010, Pages 1354-1372

  Noguera, Carles ^a   Esteva, Francesc ^b   Godo, Lluís ^b  

^a UNIVERSITY OF SIENA   (Italy)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

BL chains; Continuous t norms; Left continuous T norms; Mathematical fuzzy logic; Monoidal T norm based Logic (MTL); MTL chains; MV algebras; Rational chains

Indexed keywords

BL-CHAINS; CONTINUOUS T-NORMS; LEFT-CONTINUOUS T-NORMS; MATHEMATICAL FUZZY LOGIC; MV-ALGEBRAS; T - NORM;

ALGEBRA; FUZZY LOGIC; FUZZY SYSTEMS; LINEARIZATION; SEMANTICS; SET THEORY;

MATHEMATICAL OPERATORS;

EID: 75149171773     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2009.12.011     Document Type: Article

References (89)

1. Aglianò P., Ferreirim I.M.A., and Montagna F. Basic hoops: an algebraic study of continuous t-norms. Studia Logica 87 (2007) 73-98
2. Aglianò P., and Montagna F. Varieties of BL-algebras I: general properties. J. Pure Appl. Algebra 181 (2003) 105-129
3. Alsina C., Trillas E., and Valverde L. On some logical connectives for fuzzy set theory. J. Math. Anal. Appl. 93 (1983) 15-26
4. Alsina C., Frank M., and Schweizer B. Associative Functions: Triangular Norms and Copulas (2006), World Scientific
5. W.J. Blok, I.M.A. Ferreirim. Hoops and their implicational reducts, Algebraic Logic, Banach Center Pub. 28, Warsaw, 1993.
6. Blok W.J., and Pigozzi D. Algebraizable logics. Memoirs of the American Mathematical Society 396 77 (1989)
7. D. Boixader, F. Esteva, L. Godo. On the continuity of t-norms on bounded chains, in: Proceedings of the 8th IFSA World Congress IFSA'99, August 1999, Taipei, Taiwan, pp. 476-479.
8. Burris S., and Sankappanavar H.P. A Course in Universal Algebra (1981), Springer-Verlag, New York
9. Chang C.C. Algebraic analysis of many valued logics. Trans. Am. Math. Soc. 88 (1958) 456-490
10. Chang C.C. A new proof of the completeness of the Lukasiewicz axioms. Trans. Am. Math. Soc. 93 (1959) 74-80
11. Ciabattoni A., Esteva F., and Godo L. T-norm based logics with n-contraction. Neural Network World 5 (2002) 441-452
12. Cignoli R., Esteva F., Godo L., and Montagna F. On a class of left-continuous t-norms. Fuzzy Sets Syst. 131 (2002) 283-296
13. Cignoli R., Esteva F., Godo L., and Torrens A. Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput. 4 (2000) 106-112
14. Cignoli R., and Torrens A. An algebraic analysis of product logic. Multiple Valued Logic 5 (2000) 45-65
15. Cintula P., Esteva F., Gispert J., Godo L., Montagna F., and Noguera C. Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann. Pure Appl. Logic 160 (2009) 53-81
16. Clifford A.H. Naturally totally ordered commutative semigroups. Amer. L. Math. 76 (1954) 631-646
17. Climescu A.C. Sur l'équation fonctionelle de l'associativité. Bull. École Polytechn. Iassy 1 (1946) 1-16
18. De Baets B., and Mesiar R. Triangular norms on product lattices. Fuzzy Sets Syst. 104 (1999) 61-75
19. Dubois D., and Prade H. New results about properties and seman tics of fuzzy set-theoretic operators. First Symposium on Policy Analysis and Information Systems Durham, North Caroline, USA (1979) 167-174
20. Dubois D., and Prade H. Fuzzy Sets and Systems - Theory and Applications (1980), Academic Press, New York
21. Dummett M. A propositional calculus with denumerable matrix. The Journal of Symbolic Logic 24 (1959) 97-106
22. Esteva F., and Domingo X. Sobre negaciones fuertes y débiles en [0, 1]. Stochastica 4 (1980) 141-166 (in Spanish)
23. Esteva F., Gispert J., Godo L., and Montagna F. On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Studia Logica 71 2 (2002) 199-226
24. Esteva F., and Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124 (2001) 271-288
25. Esteva F., Godo L., and Montagna F. Equational characterization of the subvarieties of BL Generated by t-norm-algebras. Studia logica 76 (2004) 161-200
26. Esteva F., Godo L., Hájek P., and Montagna F. Hoops and fuzzy logic. J. Logic Comput. 13 (2003) 531-555
27. F. Esteva, L. Godo, C. Noguera. Real, rational and finite-chain semantics for fuzzy logics, in: Proceedings of the XIII Congreso Español sobre Tecnologi{dotless}́as y Lógica Fuzzy (ESTYLF 2006), 20-22 September, Ciudad Real (Spain), 2006, pp. 83-88.
28. Esteva F., Godo L., and Noguera C. First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. Ann. Pure Appl. Logic 161 (2009) 185-202
29. I.M.A. Ferreirim, On varieties and quasivarieties of hoops and their reducts, Ph.D. Dissertation, University of Illinois at Chicago, 1992.
30. Flaminio T. Strong non-standard completeness for fuzzy logics. Soft Comput. 12 (2007) 321-333
31. J. Fodor, Nilpotent minimum and related connectives for fuzzy logic, in: Proceedings of FUZZ-IEEE'95, 1995, pp. 2077-2082.
32. Fuchs L. Abelian Groups (1960), Pergamon Press, New York
33. Fuchs L. Partially Ordered Algebraic Systems (1963), Pergamon Press, Oxford, London, New York, Paris
34. Gaitán H. The number of simple one-generated bounded commutative BCK-chains. Math. Japon. 38 3 (1993) 483-486
35. Galatos N., Jipsen P., Kowalski T., and Ono H. Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics vol. 151 (2007), Elsevier, Amsterdam
36. Gispert J. Axiomatic extensions of the nilpotent minimum logic. Reports Math. Logic 37 (2003) 113-123
37. Glass A.M.W. Partially ordered groups. Series in Algebra vol. 7 (1999), World Scientific
38. Gödel K. Zum intuitionistischen Aussagenkalkül, Anzeiger Akademie der Wissenschaften Wien. Math. naturwiss. Klasse 69 (1932) 65-66
39. L. Godo, C. Sierra, A new approach to connective generation in the framework of expert systems using fuzzy logic, in: Proceedings of the 18th IEEE International Symposium on Multiple-Valued Logic (ISMVL'88), Palma, Spain, 1988, pp. 157-163.
40. Goodearl K. Partially ordered Abelian groups with interpolation. Mathematical Surveys and Monographs vol. 20 (1986), AMS, Providence
41. Hájek P. Metamathematics of fuzzy logic. Trends in Logic vol. 4 (1998), Kluwer, Dordrecht
42. Hájek P. Basic fuzzy logic and BL-algebras. Soft Comput. 2 (1998) 124-128
43. Hájek P., Godo L., and Esteva F. A complete many-valued logic with product-conjunction. Arch. Math. Logic 35 (1996) 191-208
44. U. Höhle, Minkowski functionals of L-fuzzy sets, in: First Symposium on Policy Analysis and Information Systems Durham, North Caroline, USA, 1979, pp. 178-186.
45. Horčík R., Noguera C., and Petrí k M. On n-contractive fuzzy logics. Math. Logic Quart. 53 (2007) 268-288
46. Jenei S. New family of triangular norms via contrapositive symmetrization of residuated implications. Fuzzy Sets Syst. 110 (1999) 157-174
47. Jenei S. Structure of left-continuous triangular norms with strong induced negations: (I). Rotation construction. J. Appl. Non-Classical Logics 10 (2000) 83-92
48. Jenei S. Structure of left-continuous triangular norms with strong induced negations: (II). Rotation-annihilation construction. J. Appl. Non-Classical Logics 10 (2001) 351-366
49. Jenei S. A note on the ordinal sum theorem and its consequence for the construction of triangular norms. Fuzzy Sets Syst. 126 (2002) 199-205
50. Jenei S. Structure of left-continuous triangular norms with strong induced negations: (III). Construction and decomposition. Fuzzy Sets Syst. 128 (2002) 197-208
51. Jenei S. On the structure of rotation-invariant semigroups. Arch. Math. Logic 42 (2003) 489-514
52. Jenei S. On the determination of left-continuous t-norms and continuous archimedean t-norms on some segments. Aequationes Math. 70 (2005) 177-188
53. Jenei S. On the convex combination of left-continuous t-norms. Aequationes Math. 72 (2006) 47-59
54. Jenei S. On reflection invariance of residuated chains. Ann. Pure Appl. Logic 161 (2009) 220-227
55. Jenei S., and De Baets B. On the direct decomposability of t-norms on product lattices. Fuzzy Sets Syst. 139 (2003) 699-707
56. Jenei S., and Montagna F. A proof of standard completeness for Esteva and Godo's logic MTL. Studia Logica 70 (2002) 183-192
57. Jenei S., and Montagna F. A general method for constructing left-continuous t-norms. Fuzzy Sets Syst. 136 (2003) 263-282
58. Jenei S., and Montagna F. On the continuity points of left-continuous t-norms. Arch. Math. Logic 42 (2003) 797-810
59. E.P. Klement, Some remarks on t-norms, fuzzy-algebras and fuzzy-measures, in: E.P. Klement (Ed.), Proceedings of 2nd International Linz Seminar on Fuzzy Set Theory, 1980, pp. 125-142.
60. Klement E.P., Mesiar R., and Pap E. Triangular Norms (2000), Kluwer Academic Publishers, Dordrecht
61. Kopytov V.M., and Medvedev N.Ya. The theory of Lattice-Ordered Groups (1994), Kluwer
62. Ling C.H. Representation of associative functions. Publ. Math. Debrecen 12 (1965) 189-212
63. Łukasiewicz J., and Tarski A. Untersuchungen ber den Aussagenkalkl. Comptes Rendus de la Societé des Sciences et des Lettres de Varsovie cl. iii 23 (1930) 1-21
64. Maes K.C., and De Baets B. On the structure of left-continuous t-norms that have a continuous contour line. Fuzzy Sets Syst. 158 (2007) 843-860
65. Maes K.C., and De Baets B. The triple rotation method for constructing t-norms. Fuzzy Sets Syst. 158 (2007) 1652-1674
66. Maes K.C., and De Baets B. Rotation-invariant t-norms: where triple rotation and rotation-annihilation meet. Fuzzy Sets Syst. 160 (2009) 1998-2016
67. Maes K.C., and Mesiarová-Zemánková A. Cancellativity properties for t-norms and t-subnorms. Inf. Sci. 179 (2009) 1221-1233
68. Mayor G., and Torrens J. On a class of operators for expert systems. Int. J. Intell. Syst. 8 (1993) 771-778
69. Mayor G., and Torrens J. Triangular norms on discrete settings. In: Klement E.P., and Mesiar R. (Eds). Logical, Algebraic, Analytic, and Probabilistic Aspects of Triangular Norms (2005), Elsevier, Amsterdam 189-230
70. Menger K. Statistical metrics. Proc. Natl. Acad. Sci. USA 8 (1942) 535-537
71. Montagna F., Noguera C., and Horči{dotless}́k R. On weakly cancellative fuzzy logics. J. Logic Comput. 16 (2006) 423-450
72. F. Montagna, C. Noguera, Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics, J. Logic Comput., in press.
73. Montagna F., and Ono H. Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀. Studia Logica 710 (2002) 227-245
74. Mostert P.S., and Shields A.L. On the structure of semigroups on a compact manifold with boundary. Ann. Math. 65 (1957) 117-143
75. *-algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65 (1986) 15-63
76. C. Noguera, Algebraic study of axiomatic extensions of t-norm based fuzzy logics, Monografies de l'Institut d'Investigació en Intel·ligència Artificial, vol. 27, Bellaterra, 2007.
77. Noguera C., Esteva F., and Gispert J. Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Arch. Math. Logic 44 (2005) 869-886
78. Noguera C., Esteva F., and Gispert J. On some varieties of MTL-algebras. Logic J. IGPL 13 (2005) 443-466
79. Noguera C., Esteva F., and Gispert J. On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Math. Logic Quart. 54 (2008) 387-409
80. Perny P., and Roy B. The use of fuzzy outranking relations in preference modelling. Fuzzy Sets Syst. 49 (1992) 33-53
81. M. Petri{dotless}́k, P. Sarkoci, Associativity of triangular norms in light of web geometry, in: Proceedings of IFSA-EUSFLAT, 2009.
82. Schweizer B., and Sklar A. Statistical metric spaces. Pacific J. Math. 10 (1960) 313-334
83. Schweizer B., and Sklar A. Associative functions and abstract semigroups. Publ. Math. Debrecen 10 (1963) 69-81
84. Trillas E. Sobre funciones de negación en la teoría de conjuntos difusos. Stochastica 3 (1979) 47-60
85. E. Trillas, L. Valverde, On some functionally expressable implications for fuzzy set theory, in: Proceedings of the 3rd International Seminar on Fuzzy Set Theory, Linz, 1981, pp. 173-190.
86. Vetterlein T. Regular left-continuous t-norms. Semigroup Forum 77 (2008) 339-379
87. Yi Z.H., Qin F., and Li W.C. Generalizations to the constructions of t-norms: rotation(-annihilation) construction. Fuzzy Sets Syst. 159 (2008) 1619-1630
88. Zadeh L.A. Fuzzy sets. Inf. Control 8 (1965) 338-353
89. Zhang D. Triangular norms on partially ordered sets. Fuzzy Sets Syst. 153 2 (2005) 195-209