L-偏序集相关论文
Domain理论具有理论计算机科学与纯粹数学的双重研究背景,它是计算机程序设计语言指称语义学研究的数学基础,它与拓扑、逻辑、代数......
给出L-幂集上Lκ-用包系统的等价刻画.提出L-偏序集上闭包系统的概念并讨论其基本性质.最后,将经典偏序集和L-幂集上关于闭包算子......
首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSA(......