的个人主页 http://faculty.nuaa.edu.cn/mxx/zh_CN/index.htm
点击次数:
所属单位:理学院
发表刊物:Electron. Notes Theor. Comput. Sci.
摘要:In this paper, various continuities of posets which may not be dcpos are considered. The concepts of approximated elements and hyper-approximated elements on posets are introduced. New characterizations of continuous posets and hypercontinuous posets are given. Meanwhile, as a generalization of approximated elements, the concept of quasi-approximated elements on dcpos is introduced and some characterizations of quasicontinuous domains are also obtained. It is proved that under some reasonable conditions, the set B(L) (resp., QB(L)) of approximated elements (resp., quasi-approximated elements) in the induced order of a dcpo L is a continuous domain (resp., a quasicontinuous domain). © 2017 The Author(s)
ISSN号:1571-0661
是否译文:否
发表时间:2017-09-19
合写作者:Xu, Luoshan
通讯作者:毛徐新,Xu, Luoshan,毛徐新