本文研究对象是带有偏序逼近族的偏序集(参见文献[1])(简称R-偏序集).我们的目的在于探索R-偏序集这一数学结构能否为语义域的研究......

文献[8]提出了一类基于分层量化的偏序集结构(以下简称R-偏序集).此结构是sfe[5]的非对称推广,也是拟度量空间(quasi-metric space......

本文给出了从一个集合构造、R-偏序集的方法，并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明，同时还给出．R-偏序集上......

设（A，）是偏序集，ω是自然数集，若对任意n∈ω，n是A上的偏序， n＋1包含于 n,∩∈ω n= ，则称（A， ）是带有偏序逼近族.R={ n│n∈ω}的偏序集，简称为......

研究对象是带有偏序逼近族的偏序集（posets withfamilies of approximating partial orders，简称R-偏序集），目的在于探索R-偏序集这一......

本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等......

将半群在集合上的作用推广到序半群,给出了序半群的表示定理,并且引入同余关系和R-同态概念,刻画了R-偏序集的商和余积.......