期刊文献+

强代数偏序集 被引量:3

Strongly algebraic posets
原文传递
导出
摘要 引入了一种新的强代数偏序集的概念,证明了偏序集P为强代数的当且仅当其正规完备化δ(P)为强代数格,给出了强代数偏序集的内蕴式刻画。 In this paper, the concept of strongly algebraic posets is introduced. It is proved that a poset P is strongly algebraic iff the normal completion δ(P) is a strongly algebraic lattice. The intrinsic characterization of strongly algebraic posets is given.
出处 《模糊系统与数学》 CSCD 北大核心 2015年第1期10-14,共5页 Fuzzy Systems and Mathematics
基金 国家自然科学基金资助项目(10861007 11161023) 全国优秀博士学位论文作者专项资金资助项目(2007B14) "赣鄱英才555工程"领军人才培养计划项目 江西省自然科学基金资助项目(20114BAB201008) 江西教育厅科技基金资助项目(GJJ12657)
关键词 强代数偏序集 正规完备化 强正则关系 Strongly Algebraic Poset Normal Completion Strongly Regular Relation
  • 相关文献

参考文献2

二级参考文献3

共引文献8

同被引文献14

  • 1Abramsky S, Jung A. Domain theory [ZJ/ / Abramsky S, et al. Handbook of Logic in Computer Scicnce , vol. 3. Oxford :Clarendon Press, 1995: 1-168.
  • 2Gierz G, Hofmann K H, Keimel K, Lawson J D, Mislove M, Scott D S. Continuous lattices and domains [M J. Cambridge: Cambridge University Press, 2003.
  • 3Erne M. The Dedekind-Mac Neille completion as a reflector[J]. Order , 1991 ,8: 159- 173.
  • 4Erne M. Bigeneration and principal separation in partially ordered sets[J]. Order , 1991 ,8: 197- 221.
  • 5Niederle J. On infinitely distributive ordered sets[J]. Math. Slovaca. ,2005,55: 495- 502.
  • 6Erne M. A completion-invariant extension of the concept of continuous lattices [CJ / / Banaschewski B. et a1. Continuous Lattices .Proc. Bremen 1979 .Lecture Notesin .Math. 871. ,Berhn-Heidelberg-New York : Springer-Verlag, 1981 :43-60.
  • 7Zhang W F .Xu X Q. Completely precontinuous posets[J]. Electronic Notes in Theoretical Computer Science, 2014, 301: 169-178.
  • 8Zhang W F, Xu X Q. Meet precontinuous posets[J]. Electronic Notes in Theoretical Computer Science, 2014,301: 179-188.
  • 9Zhang W F, Xu X Q. Hypercontinuous Posets[J]. Chinese Ann. of Math. ,2015, 36B(2) : 195-- 200.
  • 10Erne M. Scott convergence and Scott topology in partially ordered sets. II[CJ/ /Continuous Lattices, Proc. Bremen, 1981: 61-96.

引证文献3

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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