分配伪补格的主理想

本给出了分配伪补格（Ｌ;∧,∨,＊,０,１）中的主理想Ｉ＝（ｄ」成为同余理想的充分必要条件。当Ｌ是局部有限时（即Ａｄ∈Ｓ（Ｌ）,Ｆｄ＝｛ｘ│ｘ＾＊＊＝ｄ｝有限）,对骨架Ｓ（Ｌ）中的每个元素ｄ,我们找到了以Ｉ＝（ｄ」为核心的最小同余关系,利用以上结果我们得到一个Ｓｔｏｎｅ代数是布尔代数的一些等价条件。     

几乎伪补格的核理想与W-理想

讨论几乎伪补格的核理想与W-理想的一些性质.     

分配P-代数中的0-理想

本文对分配P-代数中的0-理想进行了初步探讨.给出了0-理想的刻画并利用它得到了一些结果.     

分配P-代数中的0-理想

本文对分配Ｐ－代数中的０－理想进行了初步探讨．给出了０－理想的刻画并利用它得到了一些结果     

软代数的理想和同余关系

本文刻划了使软代数Ｆ的任意二元ａ，ｂ在一个同余类的最小同余关系（定理１），Ｆ的理想可以成为某个同余关系的核的充分必要条件（定理２），以Ｆ的同余理想Ｉ为核的最小和最大的同余关系（定理３）．     

半群中的粗模糊理想

将粗糙集的理论方法用于模糊半群的研究。首先，给出上(下)粗模糊子半群及上(下)粗模糊理想等概念，并研究了它们的有关性质。随后，证明了上粗模糊子半群与上粗模糊理想是通常的模糊子半群与模糊理想概念的扩张。特别地，运用粗糙集的思想方法研究半群上的模糊同余及其截关系，给出它们的一些基本性质。     

格的Fuzy同余理想

文［１］提出了格的Ｆｕｚｚｙ理想、Ｆｕｚｙ同余关系等概念并对其性质进行了探讨本文在此基础上提出了格的Ｆｕｚｚｙ同余理想的概念并分别讨论了格、Ｆｕｚｚｙ商格及格直积的Ｆｕｚｚｙ同余理想，得到了一些初步结果     

伪补分配格上理想成为同余理想的条件北大核心

介绍了伪补分配格的理想成为同余理想的若干条件和性质,给出了主理想成为同余理想所满足的条件和形式,并用改进的方法予以证明。     

PMS-代数中的正则理想

本文提出伪补 Ｍ Ｓ 代数（简称 Ｐ Ｍ Ｓ 代数）中正则理想、正则同余关系的概念,研究正则理想与核理想、０ 理想之间的关系,讨论正则同余关系的性质,得到若干结果     

半群的模糊理想和模糊同余

引入半群上模糊理想、模糊同余的概念。给出它们的一些等价刻划,证明了一个半群上所有模糊同余关系作成一个格。最后,给出模糊理想的积和模糊同余关系的积的概念,讨论了它们的一些性质。     

分配格中理想诱导的幂格

本文在文 [1 ]的基础上 ,给出由分配格中理想诱导的两种幂格 .     

伪补分配格的同余理想与同余关系

L是完备的伪补分配格,I是L的同余理想,本文得到以下结果：⑴θ是L的以I为核的最大同余关系的条件。⑵L的以I为核的同余关系是唯一的充分必要条件。⑶L的同余理想与同余关系之间有一一对应关系的充分必要条件。     

交换分配半环上的最小分配格同余

§ 1 .　Introduction　　AsemiringSisanalgebraicstructure(S ,+,·)consistingofanon emptysetStogetherwithtwobinaryoperations +and·onSsuchthat(S ,+)and(S ,·)aresemigroupsconnectedbyring likedistributivity[1 ] .AsemiringSiscalledacommutativesemiringif (S ,+)and(S ,·)arebothcommutative.AcommutativesemiringiscalledacommutativedistributivityifinStheadditionisdistributiveaboutmultiplication ,i.e.,ab +c =(a+c) (b+c) ,a +bc=(a +b) (a+c) holdsforalla ,b,c∈S[2 ] .Anequivalentrelationρonasemiring…     

Quasiorders and Sublattices of Distributive Lattices

We study the lattice of all (0,1)-sublattices of a distributive lattice L, using certain compatible quasiorders on the Priestley space of L as our principal tool. Special emphasis is put on the case of finite L, where epic sublattices, Frattini sublattices and covers are considered in some detail. We hope to demonstrate that quasiorders may serve as a concept suitable to unify the many different representations of sublattices of L which are found in the literature.     

拟连续Domain与广义完全分配格

本文证明了(1)在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;(2)对有界完备的拟连续domain P,(P,σ(P))为极大极限空间.     

Topological Representations of Distributive Hypercontinuous Lattices

The concept of locally strong compactness on domains is generalized to general topological spaces. It is proved that for each distributive hypercontinuous lattice L, the space SpecL of nonunit prime elements endowed with the hull-kernel topology is locally strongly compact, and for each locally strongly compact space X, the complete lattice of all open sets O（X） is distributive hypercontinuous. For the case of distributive hyperalgebraic lattices, the similar result is given. For a sober space X, it is shown that there is an order reversing isomorphism between the set of upper-open filters of the lattice O（X） of open subsets of X and the set of strongly compact saturated subsets of X, which is analogous to the well-known Hofmann-Mislove Theorem.     

Pseudo-Complementation on Almost Distributive Lattices

The concept of a pseudo-complementation * on an almost distributive lattice (ADL) with 0 is introduced and it is proved that it is equationally definable. A one-to-one correspondence between the pseudo-complementations on an ADL L with 0 and maximal elements of L is obtained. It is also proved that L* = {a*|a L} is a Boolean algebra which is independent (upto isomorphism) of the pseudo-complementation * on L.AMS Subject Classification (1991): 06D99 06D15     

完全分配格上的点式拟一致结构与p．q．度量

在完全分配格上建立了点式拟一致结构理论．讨论了诱导拓扑分子格中闭包，局部基，连续等性质．证明了每个拓扑分子格皆可点式拟一致化．另外借助纯距离函数与真正的远域映射族给出了［８］中ｐ．ｑ．度量的等价定义与刻画，得到了点式拟一致分子格的ｐ．ｑ．度量化定理．     

分配P-代数的核理想与余核滤子

本文的主要结果是给出了分配P-代数中一个理想成为核理想的充要条件,同时提出了余核滤子的概念,研究了核理想与余核滤子之间的某些内在联系.     

模糊幂格的素理想与素对偶理想

讨论格与其模糊幂格的理想,对偶理想的关系,以及格与其模糊幂格的素理想,素对偶的关系.