On the reflection invariance of residuated chains

Annals of Pure and Applied Logic

Volumn 161, Issue 2, 2009, Pages 220-227

  Jenei, Sándor ^a,b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF PÉCS   (Hungary)

Author keywords

Continuity points; Order topology; Residuated chain; Symmetry

Indexed keywords

EID: 70349322476     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2009.05.009     Document Type: Article

References (29)

1. N.H. Abel, Untersuchungen der Functionen zweier unabhänging veränderlichen Grössen x und y wie f (x, y), welche die Eigenschaft haben, dass f (z, f (x, y)) eine symmetrische Function von x, y und z ist, J. Reine Angew. Math. 1, 11-15. Oeuvres Complétes de N.H. Abel, vol. 1, Christiana, 1881, pp. 61-65
2. Aczél J. Lectures on Functional Equations and Their Applications (1966), Academic Press, New York, London
3. Bézivin J.P., and Tomás M.S. On the determination of strict t-norms on some diagonal segments. Aequationes Mathematicae 45 (1993) 239-245
4. Burgués C. Sobre la sección diagonal y la región cero de una t-norma. Stochastica 5 (1981) 79-87
5. Cignoli R., Esteva F., Godo L., and Torrens A. Basic Fuzzy Logic is the logic of continuous t-norms and of their residua. Soft Computing 4 (2000) 106-112
6. P. Cintula, F. Esteva, J. Gispert, L. Godo, F. Montagna, C. Noguera, Algebraic characterization of completeness properties for core fuzzy logics I: Propositional logics, in: Abstracts of the International Conference on Order, Algebra, and Logics, Nashville, USA, 2007
7. P. Cintula, F. Esteva, J. Gispert, L. Godo, F. Montagna, C. Noguera, Algebraic characterization of completeness properties for core fuzzy logics II: Predicate logics, in: Abstracts of the International Conference on Order, Algebra, and Logics, Nashville, USA, 2007
8. Darsow W., and Frank M. Associative functions and Abel-Schroeder systems. Publicationes Mathematicae Debrecen 30 (1983) 253-272
9. 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 (2002) 199-226
10. 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
11. Galatos N., Jipsen P., Kowalski T., and Ono H. Residuated Lattices - An Algebraic Glimpse at Substructural Logics (2007), Elsevier pp. 532
12. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers, Dordrecht
13. Höhle U. Commutative, residuated l-monoids. In: Höhle U., and Klement E.P. (Eds). Non-Classical Logics and Their Applications to Fuzzy Subsets (1995), Kluwer Academic Publishers, Dordrecht 53-106
14. Jenei S. Geometry of left-continuous triangular norms with strong induced negations. Belgian Journal of Operations Research, Statistics and Computer Science 38 (1998) 5-16
15. Jenei S. How to construct left-continuous triangular norms - state of the art. Fuzzy Sets and Systems 143 (2004) 27-45
16. Jenei S. On the convex combination of left-continuous t-norms. Aequationes Mathematicae 72 (2006) 47-59
17. Jenei S. On the determination of left-continuous t-norms and continuous Archimedean t-norms on some segments. Aequationes Mathematicae 70 (2005) 177-188
18. Jenei S. On the geometry of associativity. Semigroup Forum 74 3 (2007) 439-466
19. Jenei S. On the structure of rotation-invariant semigroups. Archive for Mathematical Logic 42 (2003) 489-514
20. Jenei S., and Montagna F. A proof of standard completeness of Esteva and Godo's logic M T L. Studia Logica 70 (2002) 184-192
21. Jenei S., and Montagna F. On the continuity points of left-continuous t-norms. Archive for Mathematical Logic 42 (2003) 797-810
22. Kimberling C. On a class of associative functions. Publicationes Mathematicae Debrecen 20 (1973) 21-39
23. Klement E.P., Mesiar R., and Pap E. Triangular Norms (2000), Kluwer Academic Publishers, Dordrecht
24. Maes K.C., and De Baets B. On the structure of left-continuous t-norms that have a continuous contour line. Fuzzy Sets and Systems 158 (2007) 843-860
25. Maes K.C., and De Baets B. The triple rotation method for constructing t-norms. Fuzzy Sets and Systems 158 (2007) 1652-1674
26. Montagna F., and Ono H. Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic M T L ∀. Studia Logica 71/2 (2002) 227-245
27. Noguera C., Esteva F., and Gispert J. Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Archive for Mathematical Logic 44 7 (2005) 869-886
28. Schweizer B., and Sklar A. Probabilistic Metric Spaces (1983), North-Holland, New York
29. Vetterlein T. Regular left-continuous t-norms. Semigroup Forum 77 (2008) 339-379