伪补格的分配性

本文主要研究伪补格的分配性，给出伪补格是分配格的若干充分条件。     

伪补格的拓扑表示

序代数结构的理论一般可以从两个方面进行讨论:一是从代数的观点来考虑,例如把布尔代数当成是布尔环或集合域的推广。自从C.C.Chen和G.Gratzer给出stone格的三元组构造以后(见[1],[2]),T.katrtnak把这种表示做了很大的推广(见[4]、[5],[6],[7],[8])。另一种方法是从拓扑的观点来刻划代数的结构,例如对布尔代数,1937年M.H.Stone给出了它的拓扑表示空间([13]),这个空间是一个完全不连通空间,稍后他给     

数理逻辑中Rasiowa-Sikorski定理的推广

本文推广了数理逻辑中著名的Rasiowa-Sikorski定理,得到了伪补格上Rasiowa-Sikorski定理的加强形式,以及在Martin定理下的不可数情形,并指出了所有结果对于Heyting代数自然成立。     

Proximity代数的一种合理定义

将经典拓扑中的Proximity空间论基础合理地推广到伪补格上,在一般伪补格L上建立了一种较为合理的Poximity结构以形成“（半）Proximity代数”,并且就合理性问题与几个作者给出的格上Proximity结构进行了比较。     

伪补格上半Proximity结构的精粗半序

笔者的论文“Proximity代数的一种合理定义”对经典拓扑中的Proximity空间论基础进行了合理的推广,在一般伪补格上建立了一种较为合理的Proximity结构以形成“（半）Proximity代数”,本文进一步讨论一个给定的伪补格L上一切半Proximity结构组成的集合sp(L) 和一切Proximity结构组成的集合p(L)的性质。     

同余关系格是完全 Stone格的格

本文主要研究具有完全Stone同余关系格的格,为此我们给出一个条件(S):称格L的真商u/v满足条件(S),如果对L的任意满足的真商a/b,c/d,存在真商x/y,满足通过条件(S),我们给出了格L的同余关系格C(L)的骨架S(C(L))中原子(如果存在)的形式及S(C(L))为原子格时格L的特征,最后我们得出本文的主要结果:格L的简余关系格C(L)是完全Stone格的充要条件是:对任意a,b∈L,a>b,存在有限链使得对每个i_0,x_(i-j)/x_i满足条件(S)。