连续格相关论文
自Turing奖得主Scott发现连续格以来,许多研究者对连续格的研究就保持着浓厚的兴趣.连续格是一种具有特殊性质的完备格,其内部结构......
1969年,D.S.Scott提出了 Domain理论,旨在为计算机程序语言的指称语义提供数学基础.序、拓扑和逻辑的相互转换、相互作用是其基本......
自从19世纪七十年代连续格与代数格被发现以后，连续格理论便成为了极为活跃的研究领域，对连续格理论的拓展也逐渐加深.半素理想是Y. ......
完备格上的附加关系在连续格的研究中起着非常重要的作用.首先，基于完备格上的附加关系，本文将附加关系推广到定向完备偏序集中，并在......
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究.几乎在同一时期，Lawson、Stralka等......
在Domain理论、粗糙集理论和模态逻辑的研究中，序结构、拓扑结构和代数结构是相互渗透和相互影响的.特别地,由于在Domain理论中，拓扑......
通过研究L-T2分离性的性质，给出了相对L-T2分离性与相对弱L-T2分离性的关系，并且当L为带有逆合对应的连续格时，相对L-T2分离性仍然有L......
仿照完全分配格中的做法，定义了完备格上的定向极小集和连续格上的定向极小映射，从而得到了连续格的定向极小集刻画，并研究了它们的一......
基于定向极小集，给出了连续格序同态的一个刻划和两个相应的扩张定理。...
给出了Fuzzy蕴涵代数（简称FI代数）上的MP滤子的等价刻画和由非空子集生成的MP滤予的表示定理；探讨了FI代数的MP滤子与偏序滤子之间的......
对连续格、半连续格、半连续dcpo等的相关定义与主要性质进行比较,得到它们的联系与区别,作出一些补充,并给出半连续dcpo的局部半......
给出Z-完备集上的一个扩张定理,证明范畴ZP是一个笛卡儿闭范畴....
在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连......
在连续格理论的基础上继续探讨连续Domain的权与相应Scott拓扑空间的权之间的关系,并进一步讨论其与相应的Lawson拓扑空间的权之间......
连续格的同余可以构造商格，利用商格的性质研究格是格论常用的方法之一．本文首先给出了连续格同余的刻画定理，并进一步利用同余讨论了......
引入正则Fuzzy蕴涵代数的理想概念，并给出它的若干等价刻画；获得了由非空子集生成的理想的表示定理；证明了一个正则Fuzzy蕴涵代数上全......
对定向极小集作了进一步的研究，得到了一系列重要性质，文章最后给出连续格为完全分配格的一个充分条件。......
连续格理论是目前国内外计算机科学家和数学家所关注的一个重要的研究领域.在研究连续格的过程中，人们发现它是处于数学、拓扑学、......
