正则剩余格的⊙理想拓扑空间

运用拓扑学的方法和原理研究正则剩余格的⊙理想概念.首先,在正则剩余格L上以全体⊙理想之集为基建立了一个拓扑空间(L,TL).给出了拓扑空间(L,TL)中集合A的导集、闭包和内部的计算公式.其次,考察了(L,TL)的若干拓扑性质.最后,研究了乘积正则剩余格的积拓扑.     

正则剩余格的模糊超⊙-理想

引入正则剩余格的模糊超⊙-理想概念并考察其性质,获得了模糊超⊙-理想的几个等价刻画。在正则剩余格L的全体模糊超⊙-理想集F U(L)上定义了格运算∨,∧和逆序对合对应■,证明了当L满足条件(P)时,(F U(L),∨,∧,■,0L,1L)构成一个De Morgan代数。在F U(L)上定义了一个伴随对(■,→),证明了当L满足条件(P)时,(F U(L),■,■,→,0L,1L)也构成一个剩余格。     

正则剩余格的fuzzy⊙-理想格

在正则剩余格的全体fuzzy⊙-理想之集上定义了格运算和伴随对,证明了按此方式定义格运算和伴随对后,全体fuzzy⊙-理想之集构成一个分配的剩余格。     

正则剩余格的fuzzy⊙理想

剩余格在模糊逻辑的研究中扮演着一个重要的角色。 首先在剩余格中引入fuzzy⊙理想的概念, 讨论了(正则)剩余格中fuzzy⊙理想性质, 给出了正则剩余格中fuzzy⊙理想的若干等价刻画。其次, 利用fuzzy⊙理想概念构造了一个同余关系, 证明一个正则剩余格在该同余关系下的商代数还是正则剩余格。     

正则剩余格的生成⊙理想与素⊙理想

在剩余格中引入生成⊙理想和素⊙理想的概念,讨论了(正则)剩余格中生成⊙理想和素⊙理想的若干性质,并在正则剩余格中利用一个特殊的集合x-1I,给出了⊙理想成为素⊙理想的一个充要条件;然后利用这些结果证明了正则剩余格中的素⊙理想定理.     

否定非对合剩余格的模糊素理想与素模糊理想

对否定非对合剩余格的模糊理想作进一步深入研究.引入否定非对合剩余格模糊素理想和素模糊理想的概念并研究它们的性质和相互关系,获得了模糊素理想和素模糊理想的若干等价刻画,建立了模糊素理想定理和素模糊理想定理.最后,在否定非对合剩余格的全体素模糊理想之集上构造了一个拓扑,证明了相应的拓扑空间是T_0空间.所做工作对利用理想概念揭示否定非对合剩余格的代数特征具有一定的促进作用.     

否定非对合剩余格的双极值模糊素理想

对否定非对合剩余格的双极值模糊理想问题作进一步深入研究。引入双极值模糊素理想(简称BF-素理想)概念并考察其性质特征。获得了BF-素理想的一些等价刻画, 建立了预线性否定非对合剩余格中的BF-素理想定理, 证明了BF-素理想的NRL-同态像与原像仍为BF-素理想。为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

非对合剩余格的犹豫模糊理想

运用犹豫模糊集的方法和原理研究非对合剩余格的理想问题.引入了非对合剩余格的犹豫模糊理想概念,给出了犹豫模糊理想的若干性质,获得了犹豫模糊理想的若干等价刻画,讨论了犹豫模糊理想与理想间的关系.证明了非对合剩余格的犹豫模糊理想的犹豫模糊交集、同态像和同态原像仍为犹豫模糊理想.同时,给出了犹豫模糊理想的犹豫模糊并集成为犹豫模...     

关于剩余格的理想

研究了剩余格的理想,给出了理想的一些基本性质并利用理想的概念在剩余格上构造了一个同余关系,证明了一个剩余格在该同余关系下的商代数还是剩余格,获得正则剩余格上理想的若干等价刻画定理。     

剩余格蕴涵代数中准素理想的研究

在剩余格蕴涵代数中,提出了素理想和准素思想的概念,证明了包含核的理想的格蕴涵同态像仍是理想,并研究了准素理想与素理想的性质.讨论了准素思想与素理想、准素理想与其格蕴涵同态像之间的关系.     

正则剩余格中的理想与滤子

讨论了正则剩余格的性质,并定义了正则剩余格的理想、滤子、同态与同余关系,通过讨论它们的性质,得出正则剩余格的理想与滤子是一一对应的.     

Quantic 格的模糊理想

引入Quantic格上的模糊子Quantic格、模糊理想和素模糊理想的概念,研究了模糊理想和素模糊理想的若干性质。讨论了Quantic格模糊理想与模糊子Quantic格之间的关系,给出了模糊理想和素模糊理想的刻画,证明了Quantic格的任意一个理想都可看成是此Quantic格的某一模糊理想的一个截集。     

否定非对合剩余格的双极值模糊理想格

对否定非对合剩余格的双极值模糊理想问题做进一步深入研究,给出了由一个双极值模糊集生成的双极值模糊理想的定义并建立了其两个表示定理,证明了一个否定非对合剩余格L的全体双极值模糊理想之集BFI(L)在偏序下构成完备Heyting代数,为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

正则余剩余格的特征及其应用

余剩余格理论是研究逻辑代数系统的重要工具,而余剩余格的代数结构本身就具有普遍性和代表性.文中对余剩余格的定义和性质进行研究,给出了余剩余格的特征定理,并且引入正则余剩余格的概念,进而讨论了正则余剩余格的特征定理,同时证明了正则余剩余格与正则剩余格的一致性.最后,基于正则余剩余格的特征定理给出了几类逻辑代数系统的等价刻画.     

剩余格上蕴含单调算子的性质

针对剩余格上单调算子的性质,首先对比分类了剩余格上蕴含单增算子和蕴含单减算子理想情况下的性质,其次讨论了剩余格上蕴含单增算子和蕴含单减算子的复合算子及其性质,最后分析了蕴含单调算子的拓扑结构,并证明其构成剩余格上的Alexandrov模糊拓扑.     

剩余格上蕴含单调算子的性质

针对剩余格上单调算子的性质,首先对比分类了剩余格上蕴含单增算子和蕴含单减算子理想情况下的性质,其次讨论了剩余格上蕴含单增算子和蕴含单减算子的复合算子及其性质,最后分析了蕴含单调算子的拓扑结构,并证明其构成剩余格上的Alexandrov模糊拓扑.     

R_0代数中素理想的拓扑性质

讨论了R0代数中理想、素理想的基本性质,在R0代数M的全体理想集I(M)上定义了格运算,证明了如此定义的格是有界分配格.在M的全体素理想之集PI(M)上构造了拓扑,证明了PI(M)是紧致的T0空间.     

m-半格的模糊理想

通过模糊集理论的方法,给出了m-半格的(素)模糊理想的概念,讨论了(素)模糊理想和(素)理想之间的关系,研究了模糊理想之集的性质。给出了(素)模糊理想和(素)理想的等价刻画,证明了含最小元的正序m-半格的像集中含1的模糊理想之集是分配l-半群。提出的方法能较好地阐述出模糊集理论与m-半格的联系。     

剩余格上逻辑度量空间的拓扑性质

首先研究了逻辑度量空间(［0,1］, ρ_R)与度量空间(F(X),H_R)的关系,其次讨论了［0,1］剩余格上逻辑度量空间中Cauchy-列的收敛性问题,最后在一般剩余格上建立了一致拓扑结构,为我们研究一般剩余格的结构提供了一种新的方法,并为逻辑推理系统的鲁棒性分析奠定了理论基础。     

蕴涵格、弱Ro代数与正则剩余格

讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).