Fuzzy Z-Continuous Posets
This article is part of Special Issue:
S. P. Rao,
Q. G. Li,
S. P. Rao
College of Mathematics and Econometrics, Hunan University, Changsha 410082, China hnu.edu.cn
Faculty of Sciences, Nanchang Institute of Technology, Nanchang 330099, China nit.edu.cn
Search for more papers by this authorCorresponding Author
Q. G. Li
College of Mathematics and Econometrics, Hunan University, Changsha 410082, China hnu.edu.cn
Search for more papers by this authorS. P. Rao,
Q. G. Li,
S. P. Rao
College of Mathematics and Econometrics, Hunan University, Changsha 410082, China hnu.edu.cn
Faculty of Sciences, Nanchang Institute of Technology, Nanchang 330099, China nit.edu.cn
Search for more papers by this authorCorresponding Author
Q. G. Li
College of Mathematics and Econometrics, Hunan University, Changsha 410082, China hnu.edu.cn
Search for more papers by this authorFirst published: 08 September 2013
Academic Editor: Stefan Siegmund
Abstract
The aim of this paper is to generalize fuzzy continuous posets. The concept of fuzzy subset system on fuzzy posets is introduced; some elementary definitions such as fuzzy Z-continuous posets and fuzzy Z-algebraic posets are given. Furthermore, we try to find some natural classes of fuzzy Z-continuous maps under which the images of such fuzzy algebraic structures can be preserved; we also think about fuzzy Z-continuous closure operators in alternative ways. An extension theorem is presented for extending a fuzzy monotone map defined on the Z-compact elements to a fuzzy Z-continuous map defined on the whole set.
References
- 1 Scott D. S., Outline of a mathematical theory of computation, Proceedings of the 4th Annual Princeton Conference on Information Sciences and Systems, 1970, Princeton, NJ, USA, Princeton University Press, 169–176.
- 2
Scott D. S., Continuous lattices, Toposes, Algebraic Geometry and Logic, 1972, 274, Springer, Berlin, Germany, 97–136, Lecture Notes in Mathematics, MR0404073, ZBL0239.54006.
10.1007/BFb0073967 Google Scholar
- 3
Wright J. B.,
Wagner E. G., and
Thatcher J. W., A uniform approach to inductive posets and inductive closure, Theoretical Computer Science. (1978) 7, no. 1, 57–77, MR0480224, https://doi.org/10.1016/0304-3975(78)90040-3, ZBL0732.06001.
10.1016/0304-3975(78)90040-3 Google Scholar
- 4 Bandelt H. and Erné M., The category of Z-continuous posets, Journal of Pure and Applied Algebra. (1983) 30, no. 3, 219–226, 2-s2.0-0000809396, https://doi.org/10.1016/0022-4049(83)90057-9, MR724033.
- 5 Bandelt H. J. and Erne M., Representations and embeddings of M-distributive lattices, Journal of Pure and Applied Algebra. (1984) 10, no. 3, 315–324, MR763234.
- 6 Novak D., Generalization of continuous posets, Transactions of the American Mathematical Society. (1982) 272, no. 2, 645–667, https://doi.org/10.1090/S0002-9947-1982-0662058-8, MR662058, ZBL0504.06003.
- 7 Erné M., Z-continuous posets and their topological manifestation, Applied Categorical Structures. (1999) 7, no. 1-2, 31–70, 2-s2.0-0007468993, https://doi.org/10.1023/A:1008657800278, MR1714179, ZBL0939.06005.
- 8 Ernè M. and Zhao D. S., Z-join spectra of Z-supercompactly generated lattices, Applied Categorical Structures. (2001) 9, no. 1, 41–63, 2-s2.0-0043193877, https://doi.org/10.1023/A:1008758815245, MR1813220.
- 9 Venugopalan P., Z-continuous posets, Houston Journal of Mathematics. (1986) 12, no. 2, 275–294, MR862043, ZBL0614.06007.
- 10 Rutten J. J. M. M., Elements of generalized ultrametric domain theory, Theoretical Computer Science. (1996) 170, no. 1-2, 349–381, 2-s2.0-0030408301, https://doi.org/10.1016/0304-3975(95)00013-5, MR1424026, ZBL0874.68189.
- 11 Flagg B., Sunderhauf P., and Wagner K., A Logical Approach to Quantitative Domain Theory, 1996, Elsevier, New York, NY, USA, http://at.yorku.ca/e/a/p/p/23.htm.
- 12 Wager K. R., Solving recursive domain equations with enriched categories [Ph.D. thesis], 1994, School of Computer Science, Carnegie-Mellon University, Pittsburgh, Pa, USA.
- 13 Zhang Q. Y. and Fan L., Continuity in quantitative domains, Fuzzy Sets and Systems. (2005) 154, no. 1, 118–131, https://doi.org/10.1016/j.fss.2005.01.007, MR2150527, ZBL1080.06007.
- 14 Yao W., Quantitative domains via fuzzy sets—part I: continuity of fuzzy directed complete posets, Fuzzy Sets and Systems. (2010) 161, no. 7, 973–987, https://doi.org/10.1016/j.fss.2009.06.018, MR2592436.
- 15 Yao W. and Shi F. G., Quantitative domains via fuzzy sets—part II: fuzzy Scott topology on fuzzy directed-complete posets, Fuzzy Sets and Systems. (2011) 173, 60–80, https://doi.org/10.1016/j.fss.2011.02.003, MR2793309.
- 16 Su S. H. and Li Q. G., Algebraic fuzzy directed-complete posets, Neural Computing and Applications. (2012) 21, no. 1, supplement, 255–265, 2-s2.0-84855758007, https://doi.org/10.1007/s00521-011-0807-z.
- 17 Hofmann D. and Waszkiewicz P., Approximation in quantale-enriched categories, Topology and Its Applications. (2011) 158, no. 8, 963–977, 2-s2.0-79953211832, https://doi.org/10.1016/j.topol.2011.02.003, MR2786667, ZBL1233.06004.
- 18 Hofmann D. and Waszkiewicz P., A duality of quantale-enriched categories, Journal of Pure and Applied Algebra. (2012) 216, no. 8-9, 1866–1878, 2-s2.0-84857668095, https://doi.org/10.1016/j.jpaa.2012.02.024, MR2925878.
- 19 Waszkiewicz P., On domain theory over Girard quantales, Fundamenta Informaticae. (2009) 92, no. 1-2, 169–192, MR2526969, ZBL1193.06006.
- 20 Stubbe I., Categorical structures enriched in a quantaloid: categories, distributors and functors, Theory and Applications of Categories. (2005) 14, no. 1, 1–45, MR2122823.
- 21 Stubbe I., Towards “dynamic domains”: totally continuous cocomplete Q-categories, Theoretical Computer Science. (2007) 373, no. 1-2, 142–160, https://doi.org/10.1016/j.tcs.2007.01.002, MR2303565.
- 22 Lai H. and Zhang D. X., Complete and directed complete Ω-categories, Theoretical Computer Science. (2007) 388, no. 1–3, 1–25, 2-s2.0-35748952799, https://doi.org/10.1016/j.tcs.2007.09.012, MR2368288.
- 23
Belohlávek R., Fuzzy Relational Systems: Foundations and Principles, 2002, Kluwer Academic, New York, NY, USA.
10.1007/978-1-4615-0633-1 Google Scholar
- 24 Hajek P., Mathematics of Fuzzy Logic, 1998, Kluwer Academic, Dordrecht, The Netherlands, https://doi.org/10.1007/978-94-011-5300-3, MR1900263.
- 25
Fan L., A new approach to quantitative domain theory, Electronic Notes in Theoretical Computer Science. (2001) 45, 77–87, 2-s2.0-18944406904, https://doi.org/10.1016/S1571-0661(04)80956-3.
10.1016/S1571-0661(04)80956-3 Google Scholar
- 26 Bělohlávek R., Fuzzy Galois connections, Mathematical Logic Quarterly. (1999) 45, no. 4, 497–504, 2-s2.0-0040038386, https://doi.org/10.1002/malq.19990450408, MR1724419, ZBL0938.03079.
- 27 Bělohlávek R., Fuzzy closure operators, Journal of Mathematical Analysis and Applications. (2001) 262, no. 2, 473–489, 2-s2.0-0035888626, https://doi.org/10.1006/jmaa.2000.7456, MR1859320, ZBL0989.54006.
- 28 Yao W. and Lu L. X., Fuzzy Galois connections on fuzzy posets, Mathematical Logic Quarterly. (2009) 55, no. 1, 105–112, https://doi.org/10.1002/malq.200710079, MR2489295, ZBL1172.06001.
- 29 Zhang Q. Y. and Xie W. X., Section-retraction-pairs between fuzzy domains, Fuzzy Sets and Systems. (2007) 158, no. 1, 99–114, https://doi.org/10.1016/j.fss.2006.08.009, MR2287430, ZBL1116.06006.
- 30
Gierz G.,
Hofmann K. H.,
Keimel K.,
Lawson J. D.,
Mislove M., and
Scott D. S., Continuous Lattices and Domains, 2003, 93, Combridge University Press, Cambridge, UK, Encyclopedia of Mathematics and its Applications, https://doi.org/10.1017/CBO9780511542725, MR1975381.
10.1017/CBO9780511542725 Google Scholar
- 31 Albert M. H. and Kelly G. M., The closure of a class of colimits, Journal of Pure and Applied Algebra. (1988) 51, no. 1-2, 1–17, 2-s2.0-0010699326, https://doi.org/10.1016/0022-4049(88)90073-4, MR941885, ZBL0656.18004.
- 32 Kelly G. M. and Schmitt V., Notes on enriched categories with colimits of some class, Theory and Applications of Categories. (2005) 14, no. 17, 399–423, 2-s2.0-33750693056, MR2211425, ZBL1082.18004.
- 33 Guo L., Zhang G. Q., and Li Q. G., Fuzzy closure systems on L-ordered sets, Mathematical Logic Quarterly. (2011) 57, no. 3, 281–291, https://doi.org/10.1002/malq.201010007, MR2839128, ZBL1218.06002.
