On triangular norms and uninorms definable in Ł Π frac(1, 2)

International Journal of Approximate Reasoning

Volumn 47, Issue 2, 2008, Pages 179-201

  Marchioni, Enrico ^a   Montagna, Franco ^b  

^a UNIVERSITAT OBERTA DE CATALUNYA   (Spain)

^b UNIVERSITY OF SIENA   (Italy)

Author keywords

Complexity; Decidability; Fuzzy logics; Left continuous t norms; Left continuous uninorms; Semialgebraic sets

Indexed keywords

ANNEALING; COMPUTATION THEORY; NUMERICAL METHODS;

NILPOTENT; SEMIALGEBRAIC SETS; T NORMS; UNINORM MINGLE LOGIC;

FUZZY LOGIC;

EID: 36248960084     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2007.04.003     Document Type: Article

References (41)

1. Bochnak J., Coste M., and Roy M. Real Algebraic Geometry (1998), Springer, Heidelberg
2. J.F. Canny, Some algebraic and geometric computations in PSPACE, in: Proceedings of the 20th Symposium on Theory of Computing, 1988, pp. 460-467.
3. Cignoli R., Esteva F., Godo L., and Montagna F. On a class of left-continuous t-norms. Fuzzy Sets and Systems 131 (2002) 282-296
4. Cignoli R., Esteva F., Godo L., and Torrens A. Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing 4 (2000) 106-112
5. Cintula P. The Ł Π frac(1, 2) and Ł Π frac(1, 2) propositional and predicate logics. Fuzzy Sets and Systems 124 (2001) 289-302
6. Cintula P. Advances in the ŁΠ and ŁΠ frac(1, 2) logics. Archive for Mathematical Logic 42 (2003) 449-468
7. Cintula P. A note to the definition of the ŁΠ-algebras. Soft Computing 9 8 (2005) 575-578
8. De Baets B. Idempotent uninorms. European Journal of Operational Research 118 (1999) 631-642
9. De Baets B., and Fodor J. Residual operators of uninorms. Soft Computing 3 (1999) 89-100
10. Esteva F., and Domingo X. Sobre funciones de negación en [0, 1]. Stochastica 4 (1980) 141-166
11. 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
12. Esteva F., Godo L., and Montagna F. The ŁΠ and Ł Π frac(1, 2) logics: two complete fuzzy logics joining Łukasiewicz and product logic. Archive for Mathematical Logic 40 (2001) 39-67
13. J. Fodor, On rational uninorms, in: Proceedings of the First Slovakian-Hungarian Joint Symposium on Applied Machine Intelligence, Herlany, Slovakia, February 12-14, 2003, pp. 139-147.
14. Fodor J.C., Yager R.R., and Rybalov A. Structure of uninorms. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5 (1997) 411-427
15. Gabbay D., and Metcalfe G. Fuzzy logics based on [0, 1)-continuous uninorms. Archive for Mathematical Logic 46 (2007) 425-449
16. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publisher, Dordrecht, The Netherlands
17. Hájek P., and Tulipani S. Complexity of fuzzy probability logics. Fundamenta Informaticae 45 (2001) 1-7
18. Hu S., and Li Z. The structure of continuous uninorms. Fuzzy Sets and Systems 124 (2001) 43-52
19. Jenei S. New family of triangular norms via contrapositive symmetrization of residuated implications. Fuzzy Sets and Systems 110 (2000) 157-174
20. Jenei S. Structure of left-continuous triangular norms with strong induced negations. I: Rotation construction. Journal of Applied Non-Classical Logics 10 1 (2000) 83-92
21. Jenei S. Structure of left-continuous triangular norms with strong induced negations. II: Rotation-annihilation construction. Journal of Applied Non-Classical Logics 11 3-4 (2001) 351-366
22. Jenei S. A note on the ordinal sum theorem and its consequence for the construction of triangular norms. Fuzzy Sets and Systems 126 (2002) 199-205
23. Jenei S. A characterization theorem on the rotation construction for triangular norms. Fuzzy Sets and Systems 136 (2003) 283-289
24. Jenei S. On the structure of rotation-invariant semigroups. Archive for Mathematical Logic 42 (2003) 489-514
25. Jenei S., and De Baets B. Rotation and rotation-annihilation construction of associative and partially compensatory aggregation operators. IEEE Transactions on Fuzzy Systems 12 5 (2004) 606-614
26. Jenei S., and Montagna F. A proof of standard completeness for Esteva and Godo's logic MTL. Studia Logica 70 (2002) 183-192
27. Jenei S., and Montagna F. On the continuity points of left-continuous t-norms. Archive for Mathematical Logic 42 (2003) 797-810
28. Klement E.P., Mesiar R., and Pap E. Triangular Norms (2000), Kluwer Academic Publisher, Dordrecht, The Netherlands
29. Marchioni E., and Montagna F. Complexity and definability issues in Ł Π frac(1, 2). Journal of Logic and Computation 17 2 (2007) 311-331
30. Mesiar R., and Mesiarová A. Residual implications and left-continuous t-norms which are ordinal sums of semigroups. Fuzzy Sets and Systems 143 (2004) 47-57
31. G. Metcalfe, Uninorm based logics, in: De Baets et al. (Eds.), Proceedings of the EUROFUSE 2004, 2004, pp. 859-889.
32. Metcalfe G., and Montagna F. Substructural Fuzzy Logics. Journal of Symbolic Logic 72 3 (2007) 834-864
33. Montagna F., and Panti G. Adding structures to MV-algebras. Journal of Pure and Applied Algebra 164 (2001) 365-387
34. Mostert P.S., and Shields A.L. On the structure of semigroups on a compact manifold with boundary. Annals of Mathematics 65 (1957) 117-143
35. Ruiz D., and Torrens J. Distributivity and conditional distributivity of a uninorm and a continuous t-conorm. IEEE Transactions on Fuzzy Systems 14 2 (2006) 180-190
36. Smutná D. On a peculiar t-norm. Busefal 75 (1998) 60-67
37. Tarski A. A Decision Method for Elementary Algebra and Geometry (1951), University of California Press, Berkeley, CA
38. Trillas E. Sobre funciones de negación en teoría de conjuntos difusos. Stochastica 3 1 (1979) 47-59
39. Tsinakis C., and Blount K. The structure of residuated lattices. International Journal of Algebra and Computation 13 4 (2003) 437-461
40. Yager R., and Rybalov A. Uninorm aggregation operators. Fuzzy Sets and Systems 80 (1996) 111-120
41. Montagna F. An algebraic approach to propositional fuzzy logic. Journal of Logic, Language, and Information 9 (2000) 91-124