On fuzzification of Tarski's fixed point theorem without transitivity

Abstract The aim of this paper is to present a fuzzification of Tarski's fixed point theorem without the assumption of transitivity. For this purpose a new structure – the so called L-complete propelattice, which generalizes complete lattices and completely lattice L-ordered sets, is introduced. Our results show that for L-fuzzy isotone maps on L-complete propelattices a variant of Tarski's fixed point theorem holds. Especially, the set of fixed points is nonempty and of a certain structure.

[1]  R. Belohlávek.  Fuzzy Relational Systems: Foundations and Principles , 2002 .

[2]  Lotfi A. Zadeh,et al.  Similarity relations and fuzzy orderings , 1971, Inf. Sci..

[3]  Dexue Zhang,et al.  Many-valued complete distributivity , 2006 .

[4]  Weixian Xie,et al.  Fuzzy complete lattices , 2009, Fuzzy Sets Syst..

[5]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[6]  R. Smullyan,et al.  Set theory and the continuum problem , 1996 .

[7]  V. Novák.  Fuzzy sets and their applications , 1989 .

[8]  Raymond M. Smullyan.  Recursion theory for metamathematics , 1993, Oxford logic guides.

[9]  Pavel Martinek,et al.  Completely lattice L-ordered sets with and without L-equality , 2011, Fuzzy Sets Syst..

[10]  G. Grätzer,et al.  Partial and free weakly associative lattices , 1976 .

[11]  Radim Belohlávek,et al.  Fuzzy Galois Connections , 1999, Math. Log. Q..

[12]  Radim Belohlávek,et al.  Lattice-type fuzzy order is uniquely given by its 1-cut: proof and consequences , 2004, Fuzzy Sets Syst..

[13]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[14]  Raymond M. Smullyan,et al.  Godel's Incompleteness Theorems , 1992 .

[15]  Fixed point characterization of completeness on lattices for relatively isotone mappings , 1984 .

[16]  Radim Belohlávek,et al.  Concept lattices and order in fuzzy logic , 2004, Ann. Pure Appl. Log..

[17]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[18]  Lei Fan,et al.  A New Approach to Quantitative Domain Theory , 2001, MFPS.