拟C-偏序集与狭义完全分配偏序集的若干性质.pdfVIP

摘 要 自D．Scoff的开创性工作以来，Domain的结构理论成为计算机函数式语言的指 称语义学研究的一个关键点。从数学的角度来看，domain理论主要以满足一定 论的主要研究对象之一。 Domain理论研究的一个重要内容是尽可能地将domain理论推广到更一般的 格序结构上去。2008年，Menon在讨论连续偏序集序结构的基础上，引入了D偏 序集的概念，结果表明，D偏序集具有许多类似于连续偏序集的性质。拟连 续domain被公认为是domam的最成功推广之一，其基本思想是将“点与“点” 之间的waybelow关系推广至“集”与“集”之情形。循着Menon的思路，我们把 拟连续偏序集推广至拟D偏序集并讨论了拟D偏序集的一些性质。广义完全 分配偏序集作为一种特殊的拟连续偏序集是Menon在寻求刻画偏序集关于其 区间拓