广义连续格的子格与直接和

基于上、下同态,引进和研究广义连续格的上、下子格以及直接和诸概念,其目的是用它们取代传统的同余格作为研究结构问题的新工具。     

关于完全链格与完全格的讨论

<正> 1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D~+)~n→D~+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L,都存在它的最大下界glb(x,y)和最小上界lub(x,y),则称L为格,对于CL,如对于任意x,y∈C,或有x≤y或有y≤x,称C为链。如果对格L中的任意链C,在L中都存在它的最小上界lub(c)和最大下界glb(c),则称L为完全链格。     

完全正则半群的一个构造方法

对完全正则半群用完全单半群、半格和结构函数给出一种构造方法，同时研究完全正则半群同态与结构函数的关系，讨论完全正则半群的织积.     

P—正则半群的强P—同余格

证明映射ctr:ρ|→ctrρ为格∧p（S）到格∑（P）上的完全格同态，且由ctr诱导的∧p(S)上的同余θ的每一个同余类为∧p(S)的完全模子格。给出同余θ的若干等价刻划。     

幂拓扑分子格的积

引入形如（Ｌ＾Ｘ，η）的拓扑分子格（称为幂拓扑分子格）族的“Ｘ积”和“积”以及幂扑分子格的“核”（核是分明拓扑空间），证明了幂拓扑分子格的分明性、弱诱导必和弱层性积性和可积性，对弱诱导的幂拓年分子格式，积之核等于核之积。     

完全正则子半群格是半模格的完全正则半群

得到了完全正则半群S的子系统格是半模格的充分必要条件,即S的子系统格是半模格当且仅当S是一些UM-群或者极大子群为UM-群的左群或右群的序和.     

同余关系格是完全 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)。     

净化属性对偶背景下完全格的形式概念分析（英文）

形式概念分析是数据分析和知识获取的有效工具,而三支概念格是概念格的扩展。在形式概念分析中,完全格与概念格有同构关系,但并不是每一个完全格都会同构于三支概念格。文章对净化属性对偶背景下的原子、不可约元素、补集和概念格的V-化简律等进行了研究,讨论了完全格、负概念格和三支概念格之间的同构问题。在给定的条件约束下,实现了完全格到概念格、负概念格和三支概念格之间的特征变换。     

广义连续格的同态

引进和研究了广义连续格的下同态和上同态,建立了广义代数格紧元素之间的映射扩充为下同态的充要条件。     

C—格

完备格L称为C-格当且仅当L是分配的并且存在不可约元组成的基,该文探讨了C-格的一些性质。     

弱双补代数的直积和同余

弱双补代数是在有限分配情形下对概念代数抽象而成的一种代数.考察了弱双补代数的直积和同余,通过分别在直积和同余类上构造相应的二元运算和一元运算,证明其直积和同余类亦是弱双补代数,并证明了弱双补代数的同态定理.     

模糊完备格范畴中的乘积和余积

讨论了以L-模糊完备格为对象、以保任意L-模糊集并的映射为态射的L-模糊完备格范畴LSUP中的乘积和余积,给出了乘积和余积的具体结构,推广了经典完备格范畴的结论,为研究此范畴的其他性质打下了基础。     

弱拓扑分子格的连通性及局部连通性

定义弱拓扑分子格的连通元并讨论其基本性质(包括连通的可乘性),研究了弱拓扑分子格的局部连通性。     

半Smooth格

该文引入半Smooth格和半Smooth代数格的概念,讨论它们的一些基本性质及与半连续格的关系,证明了完备格L是半Smooth格和半连续格当且仅当L是完全分配格.     

模糊幂格的同态与同余关系

研究了在格的同态、同余关系上分别诱导的模糊幂格的同态、同余关系,获得了它们的若干相关性质,以及模糊幂格同态与模糊幂格同余关系的对应关系。     

Cartesian closedness of categories of completely distributive lattices

The category of completely distributive lattices with Scott continuous functions is cartesian closed. Neither the category of completely distributive lattices with arbitrary union preserving mappings nor the category of completely distributive lattices with nonempty union preserving mappings is cartesian closed.     

强广义连续格的完全链表现

建立强广义连续格的完全链表现定理 ,它包括前人关于完全分配格以及传统连续格的已知结果作为特例     

提升模格的一些性质

引入了提升模格的概念，并证明了它的一些基本质。     

关于完备格成分理论中两个问题的探讨

研究了完备格成分理论中两个尚未解决的问题：（i)在非分配的完备格中,有限宽元素的成分也是有限宽的吗？（ii)什么样的映射能保持颗粒表示性质或颗粒性质？通过构造反例证明了在非分配的完备格中,有限宽元素的成分不必是有限宽的;还证明了完备格间的同构映射能保持颗粒表示性质和颗粒性质,通过反例证明了同构映射的条件不能减弱,从而解决了以上两个问题。     

具有正则图的有限格的一些注记

研究了一类具有正则图的有限格,称之为正则图格.证明了一个有限格是分配的正则图格当且仅当它是布尔格,同时找出了所有1阶和2阶的正则图格.特别地,证明了8-元素布尔格是最小的3阶正则图格.