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

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

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

基于双极值模糊集理论研究否定非对合剩余格的理想问题。首先,引入否定非对合剩余格的双极值模糊理想概念并讨论其基本性质和等价刻画。其次,借助于双极值模糊集的正t-截集和负s-截集等概念考察了双极值模糊理想与理想的关系。最后,在一个否定非对合剩余格的全体双极值模糊理想之集上构造等价关系,并获得了相应的商集性质。     

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

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

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

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

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

引入正则剩余格的模糊超⊙-理想概念并考察其性质,获得了模糊超⊙-理想的几个等价刻画。在正则剩余格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⊙理想概念构造了一个同余关系, 证明一个正则剩余格在该同余关系下的商代数还是正则剩余格。     

正则剩余格的素模糊⊙理想及其拓扑性质

运用Zadeh提出的模糊集概念和运算特征对正则剩余格的模糊⊙理想理论作进一步研究。引入素模糊⊙理想的概念并研究其性质，建立了素模糊⊙理想定理。在全体素模糊⊙理想之集合P P⊙（ L）上构造了一个拓扑T，证明了拓扑空间（ P P⊙（ L），P ）是T0空间。     

基于非交换剩余格的模糊蕴涵滤子及其性质

对非交换剩余格的结构作了进一步研究。结合模糊数学的思想和方法, 在非交换剩余格上引入了模糊滤子,讨论了模糊滤子与分明滤子之间的关系; 并且在模糊滤子的基础上引入了模糊蕴涵滤子和模糊正蕴涵滤子的概念, 并讨论其基本性质,给出了模糊蕴涵滤子和模糊正蕴涵滤子的等价刻画, 证明了模糊正蕴涵滤子一定是模糊蕴涵滤子, 模糊蕴涵滤子和模糊正蕴涵滤子在一定条件下是等价的。     

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

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

基于剩余格的一类度量空间及性质

给出剩余格上存在度量的一个充分条件及由该条件决定的该类剩余格上的度量结构, 讨论了该度量结构下该类剩余格中的聚点问题, 并证明了剩余格的基本运算在度量空间中的连续性.     

模糊域上的模糊商代数

重新定义了模糊域上的模糊商代数,研究了模糊域上的模糊代数与模糊理想的性质,并给出了模糊商代数的同构定理.     

WBR_0-代数的正则性及与其他逻辑代数的关系

通过对正则剩余格和WBR0-代数的深入研究,进一步明确了WBR0-代数与其他逻辑代数之间的关系。主要结果有：（1）证明了正则剩余格与WBR0-代数是相同的代数结构;（2）通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;（3）通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。     

WBR0-代数的正则性及与其他逻辑代数的关系

 通过对正则剩余格和WBR₀-代数的深入研究, 进一步明确了WBR₀-代数与其他逻辑代数之间的关系。 主要结果有: (1)证明了正则剩余格与WBR₀-代数是相同的代数结构;(2)通过联络图表列举了WBR₀-代数与其他经典逻辑代数之间的联系,体现了WBR₀-代数在逻辑代数中的地位与作用;(3)通过构造WBR₀-代数的实例说明WBR₀-代数与其他逻辑代数之间的区别。     

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

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

BR0-分配性及其推广

在BR₀- 代数结构中,_BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR₀-分配性的剩余格同样具备十分良好的性质。首先将BR₀-分配性引入到剩余格中,并给出了BR₀-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR₀-第一无限分配性和BR₀-第二无限分配性。最后,分别在正则完备剩余格,单位区间［0,1］中讨论了两种BR₀-无限分配性的关系及性质。     

基于正规剩余格的一个逻辑系统及其完备性

在模糊逻辑中,基于剩余格的逻辑系统起着非常重要的作用.本文提出一种新的代数结构,叫做正规剩余格,研究这种剩余格的性质和结构,建立基于正规剩余格的统一的逻辑系统,许多重要的逻辑系统是这个系统的扩张.进一步,本文还讨论了这个系统关于建立在正规剩余格上语义的完备性.