东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

上邻及弱上邻

ISSN号：1671-1114
期刊名称：《天津师范大学学报：自然科学版》
时间：0
分类：O153[理学—数学;理学—基础数学]
作者机构：淮北师范大学数学科学学院,安徽淮北235000
相关基金：国家自然科学基金资助项目（11171156）;安徽省高校自然科学研究重点资助项目（KJ2015A064）

作者：王娣, 卢涛

关键词： way-up, 弱完全交既约元, 余dcpo, 弱上邻, 插入关系, way-up, weak complete intersection irreducible elements, co-dcpo, weak adjacent, interpolation property

中文摘要：

首先给出了弱完全交既约元、余dcpo及way-up的概念;然后结合way-up关系和新的辅助关系定义了弱上邻的概念;最后,借助弱完全交既约元讨论了上邻及弱上邻在交半格、完备格及余dcpo不同背景下的性质.

英文摘要：

The concepts of weak complete intersection irreducible elements, co-dcpo and way-up are introduced. Then the concept of weak adjacent is given based on way-up and new auxiliary relation. Finally, the properties of adjacent and weak adjacent are discussed by using weak complete irreducible elements in semilattices, complete lattices and eo-depo.

同期刊论文项目