In this paper, the free join- and meet-completions of an L-ordered set are built and characterized. Then we give the definitions of Δ1-directed objects and intermediate structures, and show that the Δ1-directed object precisely is the Dedekind-MacNeille completion of the intermediate structure in the bounded L-lattice case.
BělohlávekR., Some properties of residuated lattices, Czechoslovak Mathematical Journal53 (2003), 161–171.
3.
BělohlávekR., Concept lattices and order in fuzzy logic, Annals of Pure and Applied Logic128 (2004), 277–298.
4.
DaveyB.A. and PriestleyH.A., Introduction to Lattices and Order, Cambridge University Press, Cambridge, 2002.
5.
DunnJ.M., GehrkeM. and PalmigianoA., Canonical extensions and relational completeness of some substructural logics, Journal of Symbolic Logic70 (2005), 713–740.
6.
FanL., A new approach to quantitative domain theory, Electronic Notes in Theoretical Computer Science45 (2001), 77–87.
7.
GehrkeM. and PriestleyH.A., Canonical extensions and completions of posets and lattices, Reports on Mathematical Logic43 (2008), 133–152.
8.
GierzG., HofmannK.H., KeimelK., LawsonJ.D., MisloveM.W. and ScottD.S., Continuous Lattices and Domains, Cambridge University Press, Cambridge, 2003.
9.
GoguenJ.A., L-fuzzy sets, Journal of Mathematical Analysis and Applications18 (1967), 145–174.
10.
GoldblattR., Varieties of complex algebras, Annals of Pure and Applied Logic44 (1989), 173–242.
11.
HájekP., Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, 1998.
12.
HöhleU., On the fundamentals of fuzzy set theory, Journal of Mathematical Analysis and Applications201 (1996), 786–826.
13.
HöhleU. and RodabaughS.E., Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, Kluwer Academic Publishers, Boston, Dordrecht, London, 1999.
14.
JónssonB. and TarskiA., Boolean algebras with operators, I, American Journal of Mathematics73 (1951), 891–939.
15.
LaiH.L. and ZhangD.X., Fuzzy preorder and fuzzy topology, Fuzzy Sets and Systems157 (2006), 1865–1885.
16.
LaiH.L. and ZhangD.X., Complete and directed complete Ω-categories, Theoretical Computer Science388 (2007), 1–25.
LiuM., WangK.Y. and ZhaoB., A note on completeness of L-partially ordered sets, in: Proceedings of the 3rd International Conference on Quantitative Logic And Soft Computing, 2012, pp. 520–527.
19.
MacNeilleH.M., Partially ordered sets, Transactions of the American Mathematical Society42 (1937), 416–460.
20.
WagnerK.R., Solving recursive domain equations with enriched categories, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, Technical Report CMU-CS-94-159, 1994.
21.
XieW.X., ZhangQ.Y. and FanL., The Dedekind-MacNeille completions for fuzzy posets, Fuzzy Sets and Systems160 (2009), 2292–2316.
22.
YaoW., Quantative domains via fuzzy sets: Part I: Continuity of fuzzy directed complete posets, Fuzzy Sets and Systems161 (2010), 973–987.
23.
ZhangQ.Y. and FanL., Continuity in quantitative domains, Fuzzy Sets and Systems154 (2005), 118–131.
24.
ZhangQ.Y., XieW.X. and FanL., Fuzzy complete lattices, Fuzzy Sets and Systems160 (2009), 2275–2291.
25.
ZhaoH.B. and ZhangD.X., Many valued lattices and their representations, Fuzzy Sets and Systems159 (2008), 81–94.
