Sage Journals: Discover world-class research

Abstract

For a usual commutative quantale Q (does not necessarily have a unit), we propose a definition of Q-ordered sets by introducing a kind of self-adaptive self-reflexivity. We study their completeness and the related Q-modules of complete lattices. The main result is that, the complete Q-ordered sets and the Q-modules of complete lattices are categorical isomorphic.

Keywords

Commutative quantale

Get full access to this article

View all access options for this article.

References

Bělohlávek

, Fuzzy Relational Systems: Foundations and Principles, Kluwer Academic Publishers, 2002.

Bělohlávek

, Concept lattices and order in fuzzy logic, Ann. Pure Appl. Logic 128 (2004), 277–298.

Bezdek

J.C.

and Harris

, Fuzzy partitions and relations, Fuzzy Sets and Systems 1 (1978), 111–127.

Bodenhofer

, A similarity-based generalization of fuzzy orderings preserving the classical axioms, Internat. J. Uncertainty, Fuzziness and Knowledge-Based Systems 8 (2000), 593–610.

Bodenhofer

, Representations and constructions of similarity-based fuzzy orderings, Fuzzy Sets and Systems 137 (2003), 113–136.

Borzooei

R.A.

, Dvurecenskij

and Zahiri

, L-ordered and L-lattice ordered groups, Inform. Sci. 314 (2015), 118–134.

Chang

C.C.

, Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88 (1958), 467–490.

Demirci

, Foundations of fuzzy functions and vague algebra based on many-valued equivalence relations, Part I: fuzzy functions and their applications, Internat. J. Gen. Systems. 32 (2003), 123–155.

Demirci

, A theory of vague lattices based on many-valued equivalence relations–-I: general representation results, Fuzzy Sets and Systems 151 (2005), 437–472.

10.

Demirci

, A theory of vague lattices based on many-valued equivalence relations–-II: complete lattices, Fuzzy Sets and Systems 151 (2005), 473–489.

11.

Demirci

and Eken

, An introduction to vague complemented ordered sets, Inform. Sci. 177 (2007), 150–160.

12.

Fan

, A new approach to quantitative domain theory, Electron. Notes Theor. Comput. Sci. 45 (2001), 77–87.

13.

Fang

J.M.

, Relationships between L-ordered convergence structures and strong L-topologies, Fuzzy Sets and Systems 161 (2010), 2923–2944.

14.

Fodor

, Traces of fuzzy binary relations, Fuzzy Sets and Systems 50 (1992), 331–341.

15.

Fodor

, Roubens

, Fuzzy Preference Modeling and Multicriteria Decision Support, Kluwer Academic Publishers, Dordrecht, 1994.

16.

Höhle

and Blanchard

, Partial ordering in L-underdeterminate sets, Inform. Sci. 35 (1985), 133–144.

17.

Höhle

, Šostak

A.P.

Axiomatic foundations of fixed-basis fuzzy topology, Chapter 3, in: Höhle

, Rodabaugh

S.E.

(Eds), Mathematics of Fuzzy Sets: Logic, Toology, and Measure Theory, The Handbooks of Fuzzy Sets Series, Volume 3, Kluwer Academic Publishers, Boston, Dordrecht, London, 1999, pp. 123–272.

18.

Huang

X.K.

, Li

Q.G.

and Xiao

Q.M.

, The L-ordered semigroups based on L-partial orders, Fuzzy Sets and Systems 339 (2018), 31–50.

19.

Konecny

and Krupka

, Complete relations on fuzzy complete lattices, Fuzzy Sets and Systems 320 (2017), 64–80.

20.

Krupka

, Basic theorem of fuzzy concept lattices revisited, Fuzzy Sets and Systems 333 (2018), 54–70.

21.

Lai

H.L.

and Zhang

D.X.

, Complete and directed complete Ω-categories, Theoret. Comput. Sci. 388 (2007), 1–25.

22.

Menger

, Probabilistic theories of relations, Proc. Natl. Acad. Sci. USA 51 (1951), 178–180.

23.

Pavelka

, On fuzzy logic I, II, III, Z. Math. Logik Grundlagen Math. 25 (1979), 45–52; 119–134; 447–464.

24.

Solovyov

S.A.

, Quantale algebras as a generalization of lattice-valued frames, Hacet. J. Math. Stat. 45 (2016), 131–139.

25.

S.H.

and Li

, The Relationship between Δ1-completions and Formal L-contexts over an L-ordered Set, Procedia Comput. Sci. 102 (2016), 18–25.

26.

Stubbe

, Categorical structures enriched in a quantaloid: tensoredand cotensored categories, Theory Appl. Categ. 14(2005), 1–45.

27.

Valverde

, On the structure of F-indistinguishability operators, Fuzzy Sets and Systems 17 (1985), 313–328.

28.

Vychodil

, Variety theorem for algebras with fuzzy orders, Fuzzy Sets and Systems 303 (2016), 114–127.

29.

Wagner

K.R.

, Solving recursive domain equations with enriched categories, Ph.D. Thesis, Carnegie Mellon University, Tech. Report CMU-CS-94-159, July, 1994.

30.

Wagner

K.R.

, Liminf convergence in Ω-categories, Theor. Comput. Sci. 184 (1997), 61–104.

31.

Yao

, Quantitative domains via fuzzy sets: Part I: Continuity of fuzzy directed complete posets, Fuzzy Sets and Systems 161 (2010), 973–987.

32.

Yao

, Quantitative domains via fuzzy sets: Part II: fuzzy Scott topology on fuzzy directed-complete posets, Fuzzy Sets and Systems 173 (2011), 60–80.

33.

Zadeh

L.A.

, Similarity relations and fuzzy orderings, Inform. Sci. 3 (1971), 177–200.

34.

Zhang

Q.Y.

and Fan

, Continuity in quantitative domains, Fuzzy Sets and Systems 154 (2005), 118–131.

Q -orders with no unit on Q

Abstract

Keywords

Get full access to this article

References