BL代数的(∈,∈∨q)-模糊滤子理论

对BL代数的(∈,∈∨q)-模糊滤子理论作系统研究。首先,在BL代数中引入(∈,∈∨q)-模糊对合滤子和(∈,∈∨q)-模糊结合滤子两类新概念,获得了这两类(∈,∈∨q)-模糊滤子的几个等价刻画。其次,详细讨论了BL代数中各类(∈,∈∨q)-模糊滤子间的关系,证明了一个模糊集为(∈,∈∨q)-模糊布尔(关联)滤子当且仅当它既是(∈,∈∨q)-模糊正关联滤子又是(∈,∈∨q)-模糊对合滤子。最后,以直观图示的方式对BL代数中各类(∈,∈∨q)-模糊滤子间关系进行了总结。     

(∈,∈∨q_(λ,μ))-模糊Γ-子环及同态

引入(∈,∈∨q(λ,μ))-模糊Γ-子环以及广义模糊Γ-子环的概念,给出它们的等价刻画,研究它们的交与并的性质。根据直积运算的定义,探讨广义模糊Γ-子环与(∈,∈∨q(λ,μ))-模糊Γ-环直积运算的性质。利用Γ-环满同态的定义,探讨(∈,∈∨q(λ,μ))-模糊Γ-子环的同态像及同态原像的相关性质,得到了(∈,∈∨q(λ,μ))-模糊Γ-子环的同态像及同态原像也是(∈,∈∨q(λ,μ))-模糊Γ-子环的结论。     

(∈,∈∨q_(λ,μ))-模糊子近环和理想

给出(∈,∈∨q_(λ,μ))-模糊子近环和理想的全新概念及刻画,并获得一些充分必要条件.其中值得指出的是当λ=0,μ=0.5时可以得到Davvaz文章中的相关结论[B.Davvaz, (∈,∈∨q)-fuzzy subnear-rings and ideals, soft comput.,2006,10:206-211]. 当λ=0,μ=1时可以得到Rosenfeld意义下的结论.     

Γ-环的(∈,∈∨q_(λ,μ))-模糊Γ-完全素理想

给出Γ-环的(∈,∈∨q(λ,μ))-模糊Γ-理想、广义模糊Γ-理想和(∈,∈∨q(λ,μ))-模糊Γ-完全素理想的新概念及它们的等价刻画,研究(∈,∈∨q(λ,μ))-模糊Γ-完全素理想的交、并性质,获得由它的Γ-完全素理想族生成的模糊集是(∈,∈∨q(λ,μ))-模糊Γ-完全素理想的结论。另外还讨论(∈,∈∨q(λ,μ))-模糊Γ-完全素理想的同态像与同态原像的性质。     

关于BL代数的(∈,∈∨q)-模糊滤子

基于模糊集合包含序■,对BL代数的(∈,∈∨q)-模糊滤子理论作进一步深入研究。给出了由BL代数上一个模糊集生成的(∈,∈∨q)-模糊滤子的定义及其生成方法。证明了一个给定BL代数L的(∈,∈∨q)-模糊滤子全体之集IFil(L)关于■构成一个完备分配格。     

BL代数的(∈,∈∨q)-模糊滤子格

对BL代数的(∈,∈∨q)-模糊滤子理论作进一步深入研究。给出了(∈,∈∨q)-模糊滤子的若干新性质。建立了由BL代数上的一个模糊集生成的(∈,∈∨q)-模糊滤子的表示定理。证明了BL代数的全体(∈,∈∨q)-模糊滤子之集在偏序匚下构成一个完备的分配格。     

(∈,∈∨q(λ,μ))-模糊子半群

首先,给出了广义反模糊子半群和(∈,∈∨q(λ,μ))-模糊子半群的定义,并讨论了它们的等价刻画.其次,给出了(∈,∈∨q(λ,μ))-模糊子半群的基本性质:(∈,∈∨q(λ,μ))-模糊子半群的并仍是(∈,∈∨q(λ,μ))-模糊子半群,并获得了(∈,∈∨q(λ,μ))-模糊子半群在反直积运算下封闭的结论.最后,基于反扩张原理获得了(∈,∈∨q(λ,μ))-模糊子半群同态像与同态原像的相关性质。     

格蕴涵代数(∈,∈∨_(q(λ,μ)))-模糊子代数

本文从以下几个方面对格蕴涵代数的(∈,∈∨q(λ,μ))-模糊子代数进行了详细的研究。首先给出了点态化的(∈,∈∨q(λ,μ))-模糊子代数和广义模糊子代数的概念,讨论了两者之间的等价关系;其次给出了(∈,∈∨q(λ,μ))-模糊子代数的一些等价刻画,并研究了其相关性质;再次讨论了(∈,∈∨q(λ,μ))-模糊子代数的同态像与同态原像的基本性质;最后还研究了(∈,∈∨q(λ,μ))-模糊子代数的直积。     

(∈,∈∨ q(λ,μ))-模糊强正则子半群

本文是正则半群的模糊化研究工作的继续,首先给出了广义模糊强正则子半群的概念,其次基于模糊点理论给出了(∈,∈∨ q(λ,μ))-模糊强正则子半群的概念,并且讨论了它们的相关性质.最后获得了(∈,∈∨ q(λ,μ))-模糊强正则子半群的同态像与同态原像的有关性质.     

(∈,∈∨q_(λ,μ))-模糊可补子半环

首先给出了(∈,∈∨q(λ,μ))-模糊可补子半环的新概念,其次研究了(∈,∈∨q(λ,μ))-模糊可补子半环的等价刻画及相关性质,最后基于反扩张原理获得了它的同态像与同态原像的相关结果。     

Heyting-代数上的(λ,μ)直觉模糊偏滤子

把直觉模糊滤子和Heyting-代数相结合,分别给出直觉模糊偏滤子,(λ,μ)直觉模糊偏滤子和(λ,μ)直觉模糊偏格滤子的定义,讨论所定义偏滤子的性质,得出(λ,μ)直觉模糊偏滤子具有交的不变性,最后证明了(λ,μ)直觉模糊偏滤子和(λ,μ)直觉模糊偏格滤子的等价关系。     

效应代数的(η,γ]-模糊滤子

在Lu D L和Wang G J提出效应代数中模糊滤子(简称LW-模糊滤子)概念的富有成效的工作基础上,利用模糊点与模糊集的属于与重于关系给出了一种新的模糊滤子——(η,γ]-模糊滤子的定义,指出LW-模糊滤子、(∈,∈Vq)-模糊滤子和(∈,∈Vq)-模糊滤子是它的三个特例,获得了这些模糊滤子的等价刻画.     

格蕴涵代数的区间值(∈,∈∨q)-fuzzy LI-理想(英文)

将区间值fuzzy集的思想和方法应用于格蕴涵代数,引入格蕴涵代数的区间值(∈,∈∨q)-fuzzy LI-理想的概念并讨论它们的性质。获得区间值(∈,∈∨q)-fuzzy LI-理想的若干等价刻画;并考察区间值(∈,∈∨q)-fuzzy LI-理想与LI-理想之间的关系。     

格蕴涵代数的(∈,∈∨_(q(λ,μ)))-模糊LI-理想

对格蕴涵代数的(∈,∈∨q(λ,μ))-模糊LI-理想进行了详细的研究,主要内容涉及以下几个方面。我们首先给出了(∈,∈∨q(λ,μ))-模糊LI-理想和广义模糊LI-理想的概念,讨论了两者之间的关系;其次给出了(∈,∈∨q(λ,μ))-模糊LI-理想的一些等价刻画,并研究了其相关性质;最后还讨论了(∈,∈∨q(λ,μ))-模糊LI-理想的同态像与同态原像的基本性质。     

半群的(∈,∈ ∨q(λ,μ))-模糊k-理想(英文)

本文研究了半群中的广义模糊k-理想和(∈,∈∨q(λ,μ))-模糊k-理想.利用模糊集的截集及模糊集的性质,获得了(∈,∈∨q(λ,μ))-模糊k-理想的等价刻画,广义模糊特征化及广义模糊k-理想直积的基本性质.最后还给出了半群S是左k-诺特的充要条件是对于S的任意广义模糊左k-理想A,Im(A)是[λ,μ]上的良序子集.这些结果有重要的理论价值.     

有界Rl-幺半群的犹豫模糊滤子北大核心

将犹豫模糊集应用到有界剩余格序幺半群(Rl-幺半群)中,引入有界Rl-幺半群的犹豫模糊滤子的概念,研究其相关性质。获得了犹豫模糊滤子的一些等价刻画,建立了犹豫模糊滤子与其水平滤子之间的关系。讨论了犹豫模糊集成为犹豫模糊滤子的条件,给出了由一个给定犹豫模糊集生成的犹豫模糊滤子的表达式。     

(∈,∈∨ q(λ,μ))-凸模糊集

给出(∈,∈∨q(λ,μ))-凸模糊集的定义,讨论它们的一些基本性质。     

(∈,∈∨_q)-区间值模糊子格

将区间值模糊集的概念和运算应用于子格概念的研究,引入(∈,∈∨q)-区间值模糊子格的概念并考察它们的基本性质。给出了格L上区间值模糊集成为L的(∈,∈∨q)-区间值模糊子格的若干等价条件;讨论(∈,∈∨q)-区间值模糊子格与子格及(∈,∈∨q)-模糊子格间的相互关系;获得了(∈,∈∨q)-区间值模糊子格的像与原像成为(∈,∈∨q)-区间值模糊子格的条件。     

格蕴涵代数的(∈,∈∨q(λ,μ))-模糊素LI-理想

借助于(∈,∈∨q(λ,μ))-模糊代数的相关理论,对格蕴涵代数素LI-理想理论作进一步深入的研究,提出了(∈,∈∨q(λ,μ))-模糊素LI-理想和(λ,μ)-模糊素LI理想的概念,证明了两者之间的等价关系;给出了(∈,∈∨q(λ,μ))-模糊素LI理想的若干等价刻画以及(∈,∈∨q(λ,μ))-模糊素LI-理想的扩张定理.     

格蕴涵代数的区间值$(\in, \in\vee\,q)$-模糊$LI$-理想格

In the present paper, the interval-valued (∈,∈∨q)-fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties of interval-valued (∈,∈∨q)-fuzzy LI-ideals are given. Representation theorem of interval-valued (∈,∈∨q)-fuzzy LI-ideal which is generated by an interval-valued fuzzy set is established. It is proved that the set consisting of all interval-valued (∈,∈∨q)-fuzzy LI-ideals in a lattice implication algebra, under the partial order ?, forms a complete distributive lattice.