BCK-代数模糊对偶原理

对于有界可换BCK-代数建立了下述对偶原理:一个模糊子集μ是一个模糊理想(质理想,模糊同余),当且仅当它的诱导模糊子集v(定义:v(x)=μ(Nx)x∈X)是一个模糊BCK-滤子(质模糊BCK-滤子,模糊BCK-滤子同余)。     

关于BCI-代数的两点注记

用反例指明“BCI—代数（x；*，0）的非空子集I是一个理想当且仅当A↓x,y∈I，A(x，y)＝{x∈X：z*x≤y}∈I”，其充分性是不成立的。此外，指出记号x*^ny和x^n*y的2种记法不等价的。     

BCI—代数的诣零根

在 BCI—代数中,理想与子代数是两个独立的概念,多年来,许多人试图探讨这两个概念的内在联系〔如1,2〕,但只是在一些特殊的 BCI—代数类中进行.本文引入了幂零元概念,说明在 BCI—代数中,诣零性是一个根性;一个代数 X 是诣零代数当且仅当 X 的每个理想是子代数。从而彻底搞清了理想与子代数概念之联系.定义1 设 X 是一个BCI—代数,x∈X,若有正整数 n,使(…((0*x)*x…)*x=0, (n个*),则称 x 是一个幂零元.     

可解BCI—代数的结构

本文引进了一般BCI—代数的换位理想的概念,并以此刻画了结合BCI—代数,进而解决了可解BCI—代数的构造问题。定义设x为BCI—代数,X中形如(x*y)*(y*x)的元称为它的一个换位子,记作〔x,y〕.令X_c为X的全体换位子的集合,称X_c在X中生成的理想为X的换位理想,记作C(X)。定理1 若X为广义结合BCI—代数,则C(X)恰由X的一切换位子所组成,并且 C(X)={x*(0*x)|x∈X}。定理2 若N为BCI—代数X的理想,则商代数X/N为结合的当且仅当C(x)N.特别地,X/C(X)是结合BCI—代数。推论 BCI—代数X为结合的当且仅当C(X)={0}。定理3 优BCI代数X是可解的当且仅当存在自然数n,使c~n(x)={0}。     

关于BCI－代数中右乘映射的稳定子

讨论了ＢＣＩ－代数伴随半群中元素σ的稳定子Ｓ（σ）的性质，以及Ｓ（σ）与Ｉｍσ和Ｋｅｒσ之间的关系．在正蕴涵ＢＣＫ－代数中，给出了Ｓ（σ）是理想的充要条件，即每个Ｓ（σ）是理想当且仅当Ｘ是蕴涵代数     

在BCK-代数中同态映射保持理想

下面先给出 BCK－代数中的几个定义 　　定义 1设〈 X;＊, 0〉是一个 BCK－代数, X的一个非空子集 A被称为一个理想,如果它满足 　　(1)0∈ A　　(2)x∈ A, y＊ x∈ A, y∈ A(以后表示可推出 )　　定义 2设和〈 Y;＊ 1,θ〉是两个 BCK－代数,如果存在一个映射, f∶ X→ Y,使得对于任意的 x, y∈ X,有 f(x＊ y)=f(x)＊ 1f(y),则称 f为 X到 Y的一个同态映射,且称 X和 Y是同态的,记 X～ Y　　定义 3设 f是两个 BCK－代数到的一个同态,称集合 Ker(f)={x∈ X;f(x)=θ }为同态 f的核。 在 [1]中已有如下结论 …     

基于正则蕴涵算子的三Ⅰ算法的性质

基于正则蕴涵算子分析了三Ⅰ算法的连续性与逼近性问题，指出在模糊连续输入的条件下，RL、RG、RⅡ型三Ⅰ算法均具有连续性与逼近性，并指出了R0型三Ⅰ算法具有连续性与逼近性的条件是↓Ax∈X，A^＊（x）∧A（x）〉1/2成立。     

关于BCI-代数的P-半单子代数

本文旨在讨论每个子代数皆为理想的BCI一代数,得到了该类代数的一些充分条件与必要条件。设X是一个BCI—代数,x∈X,若0*(0*x)=x,则称x是一个P—半单元。用SP(X)表示X的全部P—半单元之集,则SP(x)是x的一个子代数。用P(X)表示X的BCK—部分,则P(X)是X的理想子代数,且易知P(X)∩SP(X)={0}。定理1 设X是一个BCI—代数,则SP(X)是X的理想当且仅当对任意x,x′∈P(X),y,y′∈SP(X),由x*y=x′*y′可推出x′=x,y′=y。定理2 设X是一个BCI—代数,若SP(X)是X的一个理想,则X中元可唯一地分解成P(X)中元与SP(X)中元之积。定理3 设X是一个BCI—代数.若M(X)非空,则P(X)≠{0},且SP(X)≠{O}。     

Fuzzy格中理想的最小同余扩张

刻画了Fuzzy格中理想的最小同余扩张，设I为Fuzzy格F的任一理想，令Tc(I)={x∈F|Ed∈I，使得x∧d’≤d∧d’)，则Tc(I)是F中包含I的最小同余理想．证明了正规Fuzzy格(或Kleene代数)F中，理想E={x∧x’|x∈F}的最小同余扩张是一个W-理想，即存在唯一的同余关系以它为核．     

半群的R-模糊理想

R-蕴涵算子与半群的模糊理想相结合引入半群的R-模糊理想的定义,得到了当R（x,y）对变量x递减时,两个半群的R-模糊理想的交仍是半群的R-模糊理想,当R（xy,）对变量x递增时,两个半群的R-模糊理想的并仍是半群的R-模糊理想的相关定理及推论。基于半群同态的定义,研究了R-模糊理想的满同态像及同态原像的相关性质,推出半群的R-模糊理想的满同态像及同态原像仍是半群的R-模糊理想;最后给出半群的R-模糊理想在8个蕴涵算子上的特征刻画。     

BCK-代数Fuzzy蕴涵理想(Ⅰ)

本文引入BCK-代数的Fuzzy蕴涵理想的概念,并给出Fuzzy理想成为Fuzzy蕴理想的充要条件,进一步刻划Fuzzy蕴涵理想的同态性质.     

BL-代数中的落影模糊理想

在落影理论的基础上，本文建立了定义 BL-代数的模糊（关联）理想的理论方法。研究了落影模糊（关联）理想和模糊（关联）理想的关系，证明了模糊（关联）理想是落影模糊（关联）理想，反之不成立。最后，获得了落影模糊（关联）理想的一些等价刻画。     

BCK-代数的模糊点正定关联理想(英文)

引入了BCK-代数的模糊点正定关联理想的概念,并给出了恰当的例子,给出了BCK-代数的模糊点理想与模糊点正定关联理想之间的关系;获得了BCK-代数的模糊点正定关联理想的若干等价条件,证明了模糊点正定关联理想(模糊点理想)在满同态下的逆象仍为模糊点正定关联理想(模糊点理想).     

具有条件（S）的关联BCK—代数的理想之若干等价条件

研究了具有条件（S）的关联BCK－代数理想的条件问题，得到了十余个等价命题。     

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

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

BCK—代数的Fuzzy蕴涵理想(Ⅱ)

本文将在文[6]的基础上研究BCK—代数的Fuzzy蕴涵理想的一些结构特征.     

半环中生成模糊理想的构造

在半环中引入由模糊子集生成的模糊半环与模糊左理想 (模糊右理想 ,模糊理想 ,模糊双理想 )的概念 ,讨论了它们的一些性质 ,并给出了它们的构造定理     

环上的Fuzzy关系

本文旨在讨论R上的Fuzzy关系与环上R上的Fuzzy子环之间的联系。并由此而建立环R上的Fuzzy关系成为Fuzzy子环,Fuzzy理想,Fuzzy极大理想的充分必要条件及环R上的Fuzzy子集成为Fuzzy素理想与Fuzzy不可约理想的充分条件。     

模糊n-伪理想

引入模糊n-伪理想的概念,研究了模糊n-伪理想的运算,建立了同态环间模糊n-伪理想的对应定理.