有界Heyting代数的交换理想与关联理想

运用泛代数和格理论的方法和原理进一步深入研究有界Heyting代数的理想问题。在有界Heyting代数中引入了交换理想、关联理想和正关联理想概念并讨论了它们的性质和相互关系。获得了各种理想的若干等价刻画。证明了在有界Heyting代数中,关联理想和正关联理想等价;在Ockham型有界Heyting代数中,理想和交换理想等价。同时,给出了有界Heyting代数的交换理想成为关联理想的一个充分必要条件。     

格蕴涵代数的LI-理想格及其素元刻画

运用格理论的原理和方法对格蕴涵代数L的LI-理想概念作进一步研究.首先,在L的全体LI-理想之集ф_(LI)(L)上定义了格运算■和■,蕴涵运算■以及伪补运算■,证明了(ф_(LI)(L),,■,■,■,{O},L)构成一个完备Heyting代数的结论.其次,利用运算固的性质给出了(ф_(LI)(L),,■,■,■,■,{O},L)成为Boolean代数的若干充要条件.最后,借助于L的素LI-理想之特性获得了格(ф_(LI)(L),,■,■,{O},L)中素元的若干等价刻画.     

近性Heyting代数

本文在有最小元0的Heyting代数上引入了对偶等价的(半)近性关系和(半)近性序的概念,它们是一般拓扑学中全正则空间上对偶等价的近性关系和近性序的合理推广.本文的工作弥补了Gierz和Keimel相应工作的缺陷,更正了他们的一个错误结果.     

近性Heyting代数

本文在有最小元０的Ｈｅｙｔｉｎｇ代数上引入了对偶等价的（半）近性关系和（半）近性序的概念,它们是一般拓扑学中全正则空间上对偶等价的近性关系和近性序的合理推广．本文的工作弥补了Ｇｉｅｒｚ和Ｋｅｉｍｅｌ相应工作的缺陷,更正了他们的一个错误结果。     

Heyting代数的扩张滤子

运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步研究.在Heyting代数H中引入了滤子F关于H的子集A的扩张滤子概念并考察其性质.证明了一个滤子F关于H的所有子集的扩张滤子全体之集构成一个完备Heyting代数且构成一个Stone格.     

基于剩余格理论的P-有界分配格的理想集代数

讨论P-有界分配格的理想集代数与剩余格的关系.证明了在适当选取蕴涵算子及相应的剩余算子之后,P-有界分配格的理想集代数就成为剩余格.定义了生成理想,并借助格论上的原子定义了P-有界分配格,然后讨论了它的一些性质,得到了一些好的结论.最后证明了P-有界分配格的理想集代数也是MV代数与R0代数.     

关于有界BCK—代数的主对偶理想的一个定理

本文给出了ＢＣＫ－代数主对偶理想的一个定理，使得［３］中定理２作为本定理的一个特例。     

软泛代数及其整体结构性质

提出了软泛代数概念,将已有的软群、软环等概念统一纳入这一框架中,从整体上研究了软泛代数的序结构性质,证明了固定指标集和T-代数后,相应的软T-代数全体以点式序形成代数格.引入了Scott连续软泛代数概念,证明了从代数紧拓扑空间到给定T-代数的Scott连续软T-代数的全体以点式序形成代数格.     

Quantale代数及其代数理想

给出Quantale代数的概念,得到了单位Quantale是Quantale代数的充要条件,讨论了理想与代数理想的关系,找到了理想不是代数理想的具体例子以及理想是代数理想的充分条件.     

格蕴涵代数的生成(∈,∈∨q)-Ⅳ模糊LI理想

基于常规Ⅳ模糊集合包含序?,引入格蕴涵代数的由一个Ⅳ模糊集生成的(∈,∈∨q)-Ⅳ模糊LI理想概念并考察其结构性质.建立并证明了生成(∈,∈∨q)-Ⅳ模糊LI理想的表示定理.为研究(∈,∈∨q)-Ⅳ模糊LI理想全体之集在?下的格结构特征奠定了基础.     

BCK-代数的模糊代数理想

在有界可换BCK-代数上引入了Fuzzy代数理想的概念,给出了Fuzzy代数理想的某些特征,讨论了Fuzzy理想与Fuzzy代数理想的关系。最后描述了全体Fuzzy集的BCK-代数特征。     

关于topos中的内蕴Heyting代数对象(英文)

本文研究了在一般topos中内蕴Heyting代数对象的性质.利用范畴的态射及伴随的方法,获得了内蕴Heyting代数对象为内蕴分配格结果,推广了集合范畴中的对应结果.     

Fuzzy蕴涵代数的犹豫模糊滤子格

对Fuzzy蕴涵代数的犹豫模糊滤子问题作进一步深入研究。引入了由Fuzzy蕴涵代数上的一个犹豫模糊集生成的犹豫模糊滤子概念,给出了其基本性质并建立了其表示定理。证明了一个Fuzzy蕴涵代数(X,→,0)的全体犹豫模糊滤子之集HFil(X)在犹豫模糊包含序?_H下构成一个分配的连续(代数)格,从而构成一个Frame.     

格蕴涵代数中的直觉模糊理想

给出格蕴涵代数中直觉模糊理想的定义,并研究了其性质。然后讨论了直觉模糊理想与模糊理想和LI-理想之间的关系。证明了直觉模糊理想与直觉模糊滤子的对偶关系。最后,得到了直觉模糊理想的全体集合Ψ(L)构成L-闭包系统。     

连通Locale的基本性质

本文给出连通Locale的一些基本性质,这些性质既有连通拓扑空间在Locale理论中的对应性质,同时也有连通Locale独有的,此外还研究了与连通Locale相关的对象和映射的性质。     

格蕴涵代数的素模糊LI-理想及其谱空间

运用模糊集及拓扑学的方法和原理对格蕴涵代数的LI-理想概念作进一步研究.首先,在格蕴涵代数中引入素模糊LI-理想的概念并讨论其性质特征及其与LI-理想的关系,建立了格蕴涵代数的素模糊LI-理想定理.其次,在格蕴涵代数L的全体素模糊LI-理想构成的集合PFLI(L)上构造了一个拓扑T,从而得拓扑空间(PFLI(L),T),称之为L的素模糊LI-理想谱空间,记为P F-Spec(L).考察了P FSpec(L)的若干拓扑性质.最后,在格蕴涵代数L的全体素LI-理想之集PLI(L)上定义了LI-拓扑TLI,证明了在一个格H蕴涵代数中拓扑空间(PLI(L),TLI)同胚于P FSpec(L)的一个Hausdor?子空间的结论.     

格蕴涵代数与BCK代数的关系

本文给出了有界可换的ＢＣＫ代数的分配性的一些等价条件，指出了格蕴涵代数与有界可换分配的ＢＣＫ代数以及格Ｈ蕴涵代数与有界关联的ＢＣＫ代数之间的对偶关系     

利用格蕴涵代数找出所有LI-理想的方法

利用格蕴涵代数中理想的定义未找出所有的理想需要花费大量的时间.给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法;再利用析取运算表找出格蕴涵代数中所有sl_理想的方法;最后,利用蕴涵否运算表找出格蕴涵代数中所有LI-理想的方法.     

亚BCI-代数及其理想

引入亚BCI-代数的概念,研究了它的基本性质.并在这类代数中引入并讨论了与BCI-代数类似的理想理论.