期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

FZ-Domain的基与抽象基的RZ-理想完备化 被引量：3

The RZ-ideal completions of FZ-directed basis and FZ-abstract basis for FZ-Domains
下载PDF
导出
摘要 在FZ-Domain中引入FZ-定向基与FZ-抽象基的概念,研究了它们的RZ-理想完备化.证明了:对一类子集系统,一个FZ-Domain的FZ-定向基的定向RZ-理想完备化同构于该FZ-Domain;偏序集P是FZ-Domain当且仅当存在一个FZ-抽象基B使得P同构于B的定向的RZ-理想完备化. The concepts of FZ-Directed basis and FZ-abstract basis for FZ-Domains are defined.The RZ-ideal completions of them are studied.It is proved that for one class of subset systems,every FZ-Domain is isomorphic to the direct round Z-ideal completion of its FZ-directed basis;and a poset P is an FZ-Domain if and only if there exists an FZ-abstract basis B such that P is isomorphic to the direct RZ-ideal completion of B.
作者 刘敏 赵彬
机构地区 陕西师范大学数学与信息科学学院
出处 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第2期8-12,共5页 Journal of Shaanxi Normal University：Natural Science Edition
基金 国家自然科学基金资助项目(10871121 11001158)
关键词 FZ-Domain 子集系统 FZ-基 FZ-抽象基 RZ-理想完备化 FZ-Domain subset system FZ-basis FZ-abstract basis RZ-ideal completion
分类号 O153.1 [理学—基础数学]
  • 相关文献

参考文献13

  • 1Gierz G, Hofmann K H, Keimel K, et al. Continuous lattices and Domains[M]. New York: Cambridge University Press, 2003.
  • 2Wright J B, Wagner E G, Thather J W. A uniform approach to inductive posets and inductive closure[J]. Theoretical Computer Science, 1978, 7(1) :57-77.
  • 3Baranga A. Z-continuous posets[J]. Discrete Mathematics, 1996, 152(1): 33-45.
  • 4Erné M. Z-continuous posers and their topological manifestation[J]. Applied Categorical Structures, 1999, 7 (1/2): 31-70.
  • 5徐晓泉,刘应明.Z-拟连续domain上的Scott拓扑和Lawson拓扑[J].数学年刊（A辑）,2003,24(3):365-376. 被引量：33
  • 6刘敏,赵彬.WZ-Domain与WZ-Scott拓扑[J].模糊系统与数学,2010,24(2):50-56. 被引量：3
  • 7Lawson J D. The round ideal completion via sobrification[J]. Topology Proceedings, 1997, 22: 261-274.
  • 8Xu Luoshan, Mao Xuxin. When do abstract bases generate continuous lattices and L-domains[J]. Algebra Universalis, 2008, 58(1): 95-104.
  • 9李娟.Z-连续偏序集的基[J].宝鸡文理学院学报（自然科学版）,2005,25(4):256-258. 被引量：4
  • 10Zhou Yihui, Zhao Bin. Z-abstract Basis[J]. Electronic Notes in Theoretical Computer Science, 2010, 257: 153-158.

二级参考文献42

  • 1徐晓泉,罗懋康,黄艳.拟Z-连续domain和Z-交连续domain[J].数学学报（中文版）,2005,48(2):221-234. 被引量：13
  • 2徐晓泉.强Z-拟连续偏序集的权与Z-嵌入基数[J].江西师范大学学报（自然科学版）,1995,19(1):12-22. 被引量：5
  • 3Gierz G,et al.Continuous lattices and domains[M].Cambridge University Press,2003.
  • 4Scott D S.Logic and programming languages[J].Communications of the ACM,1977,20:634-641.
  • 5Baranga A.Z-continuous posets[J].Discrete Mathematics,1996,152(1):33-45.
  • 6Zhao B,Zhou Y H.The category of supercontinuous posets[J].Journal of Mathematical Analysis and Applications,2006,320(2):632-641.
  • 7Wright J B,Wagner E G,Thather J W.A uniform approach to inductive posets and inductive closure[J].Theoretical Computer Science,1978,7(1):57-77.
  • 8Erne M.Z-continuous posets and their topological manifestation[J].Applied Categorical Structures,1999,7:31-70.
  • 9Bandelt H J,Erne M.The category of Z-continuous posets[J].Journal of Pure and Applied Algebra,1983,302,30(2):219-226.
  • 10Hofmann K H,Mislove M.Local compactness and continuous lattices.Lecture Notes in Mathematics,Vol.871.New York:Springer-Verlag,1981:125-158.

共引文献53

同被引文献17

  • 1姚卫.模糊偏序集上的模糊Scott拓扑及模糊拓扑空间的特殊化L-序[D].北京:北京理工大学,2008.
  • 2Scott D.Continuous lattices[J].Lecture Notes in Mathematics,1972,274:97-136.
  • 3Yang Zhongqiang.A cartesian closed subcategory of CONT which contains all continuous domains[J].Information Sciences,2004,168:1-7.
  • 4Fan Lei.A new approach to quantitative domain theory[J].Electronic Notes in Theoretical Computer Science,2001,45:77-87.
  • 5Zhang Qiye,Fan Lei.Continuity in quantitative domains[J].Fuzzy Sets and Systems,2005,154:118-131.
  • 6Wang Kaiyun,Zhao Bin.Fuzzy domains and a classification theorem[C] // Wang Guojun,Zhao Bin,Li Yongming.Proceedings of the 3rd International Conference on Quantitative Logic and Soft Computing.New Jersey:World Scientific Publishing,2012:512-519.
  • 7Gierz G,Hofmann K H,Keimel K,et al.Continuous lattices and Domains[M].Cambridge:Cambridge University Press,2003:48-176.
  • 8Wagner K R.Liminf convergence in Ω-categories[J].Theoretical Computer Science,1997,184:61-104.
  • 9BělohlΡvek R.Fuzzy relational systems:foundations and principles[M].New York:Kluwer Academic Publishers,Plenum Publishers,2002:203-271.
  • 10Bělohlávek R.Concept lattices and order in fuzzy logic[J].Annals of Pure and Applied Logic,2004,128:277-298.

引证文献3

二级引证文献5

陕西师范大学学报（自然科学版）
2011年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部