×

A comparative study of Tarski’s fixed point theorems with the stress on commutative sets of \(\mathbf{L}\)-fuzzy isotone maps with respect to transitivities. (English) Zbl 1465.06004

Summary: The paper deals mainly with a fuzzification of the classical Tarski’s theorem for commutative sets of isotone maps (the so-called generalized theorem) in a sufficiently rich fuzzy setting on general structures called \(\mathbf{L}\)-complete propelattices. Our concept enables a consistent analysis of the validity of single statements of the generalized Tarski’s theorem in dependence on assumptions of relevant versions of transitivity (weak or strong). The notion of the \(\mathbf{L}\)-complete propelattice was introduced in connection with the fuzzified more famous variant of Tarski’s theorem for a single \(\mathbf{L}\)-fuzzy isotone map, whose main part holds even without the assumption of any version of transitivity. These results are here extended also to the concept of the so-called \(\mathbf{L}\)-fuzzy relatively isotone maps and then additionally compared to the results, which are achieved for the generalized theorem and which always need a relevant version of transitivity. Wherever it is possible, facts and differences between both the theorems are demonstrated by appropriate examples or counterexamples.

MSC:

06B23 Complete lattices, completions
06B10 Lattice ideals, congruence relations
Full Text: DOI

References:

[1] Birghof, G., Lattice Theory (1973), Amer. Math. Soc.: Amer. Math. Soc. Rhode Island
[2] Bělohlávek, R., Fuzzy Relational Systems: Foundations and Principles (2002), Kluwer: Kluwer New York · Zbl 1067.03059
[3] Bělohlávek, R., Concept lattices and order in fuzzy logic, Ann. Pure Appl. Logic, 128, 1-3, 277-298 (2004) · Zbl 1060.03040
[4] Bělohlávek, R., Lattice-type fuzzy order is uniquely given by its 1-cut: proof and consequences, Fuzzy Sets Syst., 123, 447-458 (2004) · Zbl 1044.06002
[5] Erné, M., W-completeness and fixpoint properties, Arch. Math., 24, 3, 147-155 (1988) · Zbl 0667.06003
[6] Grätzer, G., General Lattice Theory (2003), Birkhäuser Verlag: Birkhäuser Verlag Basel, Boston, Berlin · Zbl 0385.06015
[7] Klimeš, J., Fixed point characterization of completeness on lattices for relatively isotone mappings, Arch. Math., 20, 3, 125-132 (1984) · Zbl 0574.06004
[8] Martinek, P., On generalization of fuzzy concept lattices based on change of underlying fuzzy order, (Proc. of the Sixth International Conference on Concept Lattices and Their Applications. Proc. of the Sixth International Conference on Concept Lattices and Their Applications, CLA 2008 (2008), Palacky University: Palacky University Olomouc), 207-215
[9] Mendelson, E., Introduction to Mathematical Logic (2001), Chapman & Hall/CRC: Chapman & Hall/CRC Boca Raton, Florida · Zbl 0192.01901
[10] Novák, V., Fuzzy Sets and Their Applications (1989), Adam-Hilger: Adam-Hilger Bristol · Zbl 0683.94018
[11] Novák, V.; Perfilieva, I.; Močkoř, J., Mathematical Principles of Fuzzy Logic (1999), Kluwer: Kluwer Boston, Dordrecht, London · Zbl 0940.03028
[12] Smullyan, R. M., On transfinite recursion, Trans. N. Y. Acad. Sci., 30, 175-185 (1965) · Zbl 0309.02066
[13] Smullyan, R. M.; Fitting, M., Set Theory and the Continuum Problem (1996), Oxford University Press: Oxford University Press New York · Zbl 0888.03032
[14] Tarski, A., A lattice-theoretical fixpoint theorem and its applications, Pac. J. Math., 5, 285-309 (1955) · Zbl 0064.26004
[15] Včelař, F., On an approach to the fuzzification of classical Arrow‘s aggregation problem, Int. J. Gen. Syst., 2, 139-154 (1994) · Zbl 0838.90013
[16] Včelař, F.; Pátíková, Z., On fuzzification of Tarski’s fixed point theorem without transitivity, Fuzzy Sets Syst., 320, 93-113 (2017) · Zbl 1383.06002
[17] Zadeh, L. A., Similarity relations and fuzzy orderings, Inf. Sci., 3, 177-200 (1971) · Zbl 0218.02058
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.