×

zbMATH — the first resource for mathematics

Convergence and fixed points by fuzzy orders. (English) Zbl 1176.06002
This paper is an attempt to face questions of convergence and fixed points by unifying fixed-point theory in ordered sets and fixed-point theory in metric spaces. A general approach to fixed-point theory is proposed which is related to the notion of fuzzy ordering. This approach extends both the fixed-point theorems in metric spaces and the ones in ordered sets. An example from logic programming is discussed.

MSC:
06A75 Generalizations of ordered sets
06A06 Partial orders, general
54E35 Metric spaces, metrizability
54H25 Fixed-point and coincidence theorems (topological aspects)
68N17 Logic programming
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Bodenhofer, U., Representations and constructions of similarity-based fuzzy orderings, Fuzzy sets and systems, 137, 113-136, (2003) · Zbl 1052.91032
[2] Bodenhofer, U.; De Baets, B.; Fodor, J., A compendium of fuzzy weak orders: representations and constructions, Fuzzy sets and systems, 158, 811-829, (2007) · Zbl 1119.06001
[3] B. Bouchon-Meunier, C. Marsala, Linguistic modifiers and measures of similarity or resemblance, in: 9th IFSA World Congr. 2001, Vancouver, 4, 2001, pp. 2195-2199.
[4] C. Coppola, Distances and closeness measures in information spaces, Ph.D. Thesis, University Federico II of Naples, Italy, 2006.
[5] De Baets, B.; Mesiar, R., Metrics and \(\mathcal{T}\)-equalities, J math. anal. appl., 267, 531-547, (2002) · Zbl 0996.03035
[6] Dubois, D.; Prade, H., Fuzzy sets and systems: theory and applications, (1980), Academic Press New York · Zbl 0444.94049
[7] Dugundji, J.; Granas, A., Fixed point theory, (1982), PWN-Polish Scientific Publishers · Zbl 0483.47038
[8] Fitting, M., Metric methods: three examples and a theorem, J. logic programming, 21, 3, 113-127, (1994) · Zbl 0823.68017
[9] Fitting, M., Fixpoint semantics for logic programming—a survey, Theoret. comput. sci., 278, 25-51, (2002) · Zbl 1002.68023
[10] Gerla, G., Fuzzy logic: mathematical tools for approximate reasoning, (2001), Kluwer Academic Publishers Dordrecht · Zbl 0976.03026
[11] Hájek, P., Metamathematics of fuzzy logic, (1998), Kluwer Academic Publishers Dordrecht · Zbl 0937.03030
[12] Höhle, U.; Blanchard, N., Partial ordering in L-undeterminate sets, Inform. sci., 35, 133-144, (1985) · Zbl 0576.06004
[13] Lloyd, J.W., Foundations of logic programming, (1984), Springer Berlin · Zbl 0547.68005
[14] Novak, V.; Perfilieva, I.; Mockor, J., Mathematical principles of fuzzy logic, (1999), Kluwer Academic Publishers London · Zbl 0940.03028
[15] S. Priess-Crampe, P. Ribenboim, Logic Programming and Ultrametric Spaces, Rendiconti di Matematica Serie VII, Vol. 19, Roma, 1999, pp. 155-176. · Zbl 0987.54053
[16] Rutten, J.J.M.M., Elements of generalized ultrametric domain theory, Theoret. comput. sci., 170, 349-381, (1996) · Zbl 0874.68189
[17] Seda, A.K., Quasi-metrics and fixed points in computing, Bull. eur. assoc. theor. comput. sci., 60, 154-163, (1996)
[18] Seda, A.K., Quasi-metrics and the semantics of logic programs, Fund. inform., 29, 2, 97-117, (1997) · Zbl 0868.68021
[19] Smith, M.B., Quasi uniformities: reconciling domains with metric spaces, (), 236-253
[20] Valverde, L., On the structure of F-indistinguishability operators, Fuzzy sets and systems, 17, 313-328, (1985) · Zbl 0609.04002
[21] Zadeh, L.A., Similarity relations and fuzzy orderings, Inform. 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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.