3值逻辑函数相关免疫的一个充要条件

给出了3值逻辑函数Chrestenson线性谱和循环谱一种相互线性表示的关系式，从而得到了3值逻辑函数f(x)具有l阶相关免疫的充要条件是对任意W∈Z3^m，l≤W（ω）≤l，都有Skf(ω)＝0,Sk^2f^2(w)=0,k＝l，2．     

一类诣零BCI-代数

给出了一类诣零BCI_代数 ,并证明了有限BCI_代数一定是诣零BCI_代数 .     

BCI—代数外直积的伴随半群到BCI—代数的伴随半群外直积的同态

给出了ＢＣＩ－ 代数外直积的伴随半群到ＢＣＩ－ 代数的伴随半群外直积的一个单同态,证明了这两个半群的最大子群是同构的,并且讨论了其广义ａ－ 结合部分外直积的伴随半群与其广义ａ－ 结合部分的伴随半群外直积的关系。     

BCI-代数的半单理想与fuzzy半单理想

引入了BCI-代数X的半单理想和fuzzy半单理想的概念，讨论了它们的关系和一些性质，并利用fuzzy半单理想刻画了p-半单BCI-代数．