Fuzzy蕴涵代数与有界BCK—代数等价

在[1]中作者给出了下面的定义. 定义1 一个(2,0)型代数(X,→,0)称为FI代数,如果(?) x,y,z∈X,有 (I_1) x→(y→z)=y→(x→z), (I_2) (x→y)→[(y→z)→(x→2)]=1, (I_3) (x→z)=1, (I_4) 若x→y=y→x=1,则x=y, (I_5) 0→x=1,其中 1=0→0. 在[2]中Iseki K引入了BCK-代数,参见[3,4]. 定义2 一个(2,0)型代数(X;*,0)称为BCK-代数,如果(?) x,y,z∈X,有 (Ⅰ) ((x*y)*(x*z))*(z*y)=0, (Ⅱ) (x*(x*y))*y=0, (Ⅲ) x*x=0.     

具有Heyting结构的Ockham代数

引入一个具有Heyting结构Ockham代数,简称HO-代数．所谓HO-代数,是指具有（2,2,2,1,0,0）类型的代数（L;∧,∨,→,f,0,1）．其中（L;f）是Ockham代数,（L;→）是Heyting代数,且运算f和→由恒等式f（x→y）=f^2（x）∧f（y）与f（x）→y=f^2（x）∨y所连结．主要讨论了HO-代数的同余关系的性质．并刻画了其次直不可约代数的某些性质．     

关于半格的一个定理

文中给出了如下定理：设（L，V，∧，∏，∑），A包含于L，则（A，∨，∧，∑）=（A，∨，∧，∏，∑）iff存在（L，∧）上的内部算子I，使得A={x:I(x)=x}=range(I)&;amp;∨B包含于A，I（∧b∈b b)=∧b∈bl I(b)另外，还给出[1]中定理1的一个改进证明。     

关于格蕴涵代数公理的一个注记

设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧（定义2．1）。本文证明了只要这些运算满足格蕴涵代数的公理（不包括有余格的公理），（L，∨，∧，′）就是一个有泛界O，I的有余格（定理2．2）。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算，而且在这两种定义方式中蕴含运算所满足的条件是相同的。     

三角形不等式的共同解法—关于三角形旁切圆半径的两个不等式证明的改进

众所周知(x y)(y z)(z x)=xy(x y) yz(y z) zx(z x) 2xyz=x2y xy2 y2z yz2 z2x zx2 2xyz　(*)这是一个十分重要的代数恒等式,由(*)立即得到(x y)(y z)(z x)=(x y z)(xy yz zx)-xyz(1)(x y)(y z)(z x)=x(y z)2 y(z x)2 z(x y)2-4xyz(2)(x y)(y z)(z x)(x y z)=xy(x y)2 yz(y z)2 zx(z x)2 4xyz(x y z)(3)(x y)(y z)(z x)(xy yz zx)=x2y2(x y) y2z2(y z) z2x2(z x) 2xyz(x y z)2(4)……(*)及(1),(2),(3),(4)……在证明关于三角形不等式方面有极其广泛的应用.这是因为:图1任一三角形总有内切圆(图1),总可以作变换a=y z,b=z x,c=x y(x,y,z∈R )…     

有限维单李代数的2-局部导子

设F是特征为零的代数封闭域,g为F上有限维单李代数.g上的一个映射φ称为2-局部导子,如果对任意的x,y∈g,存在导子D_(x,y):g→g,使φ(x)=D_(x,y)(x),φ(y)=D_(x,y)(y).本文证明g上的所有2-局部导子一定是内导子.     

阶化Cartan型代数S(m;n)的不可约表示及其约化

设L=S(m;n)是定义在特征P＞3的代数闭合域F上的阶化特殊型李代数,利用已研究L的不可约表示的方法,通过定义L的如下阶化:限制情形定义L=(田)q≥-1 L[q],I,非限制情形定义(L)=(田)q≥-1 (L)[q],I,这里是L的本原P-包络,有表达式(L)=(田)mΣi=1 ni-1Σdi=1 FDpidi,而I是{1,2,…,m)的子集,得到当P-特征标x是正则半单时,在限制李代数情形所有不可约Ux(L)-模都是从不可约Ux(L[0],I)-模诱导的;在非限制的情形,所有不可约U(x)(L),(Upx(L,x))-模都是从不可约L(x)_(L[0],I)-模诱导的,这里(x)是x到(L)*上的平凡扩张.     

关于Diophantine方程(20n)x+(21n)y=(29n)z

设a,b,c是满足条件a2+ b2=c2的两两互素的正整数.Jesmanowicz于1956年猜想对于任意给定的正整数n,方程(an)x+(bn)y=(cn)z仅有解(x,y,z)=(2,2,2).本文证明了方程(20n)x+(21n)y=(29n)z有唯一解(x,y,z)=(2,2,2).     

AI+BI+CI的一个上界

命题设I为△ABC的内心,则有不等式:AI BI CI≤3～(1/3)/3(AB BC CA).证明设内切圆I切BC,CA,AB于D,E,F.记AE=AF=x,BF=BD=y,CD=CE=z,则BC=y z,CA=z x,AB=x y.由余弦定理得cos2A=1 2cosA=1 AB22 ABAC·2A-CBC22=(xx( xy )(yx z)z),故IA=sin∠AEAIE=cosx2A=x(xx y)y( xz z).同理I     

关于Z-蕴涵代数

基于N-半单代数和格蕴涵代数、FI-代数, Wajsberg-代数、BCK-代数、BCI-代数、BCC-代数及MV- 代数等的关系[9],本文中,我们引入了Z-蕴涵代数的概念, 并讨论了它们的某些性质.     

蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

A Sufficient and Necessary Condition for a Solvable Lie Algebra to Be Complete

In this paper,we give a sufficient and neccesary condition under which a solvable Lie algebra is complete.     

Fuzzy代数直积的一些性质

首先给出了Fuzzy代数直积的一些性质,然后讨论了Fuzzy商代数的直积结构.     

Ω-TL子群和正规Ω-TL子群

引入Ω-群上Ω-TL子群和正规Ω-TL子群的概念，讨论它们的一些基本性质，给出由L子集生成的Ω-TL子群和正规Ω-TL子群的计算公式，其中T是给定的完备Brouwer格L上的任意一个无穷∨-分配t-模。     

Z-蕴涵代数的Z-滤子

在[4]中,我们引入了Z-蕴含代数的概念,讨论了它们的一些性质.本文中,我们进一步引入Z-蕴含代数的Z-滤子,并研究它们一些有趣的结果.     

EI代数

为了更好地解决模糊概念的表示问题,文[1]引入了AFS代数和AFS结构,为了讨论AFS代的拓扑性质,本文在[1]的基础上,进一步了讨论了EI代数的性质与结构,并对其子代数EM－{φ}的性质和结构进行了讨论。     

替换定理一些问题的讨论

本给出了替换定理的一种新的证法，此证法直观易懂。     

解析Toeplitz代数的完全不可约性与循环向量

解析Toeplitz代数的完全不可约性与循环向量@曹广福...     

正则Fuzzy蕴涵代数

Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出正则 Fuzzy蕴涵代数的几个刻画 ,并且得到正则 Fuzzy蕴涵代数构成格的几个条件。