1) regular Sub-BL algebra
对合次BL代数
2) sub-BL-algebra
次BL-代数
3) sub-BL algebra
次BL代数
1.
Some properties of sub-BL algebras on othomodular lattices;
正交模格上的次BL代数性质
2.
Sub-BL algebra is the basic of many important logical algebras.
次BL代数是多个重要逻辑代数的理论基础,文章对次BL代数作了进一步的深入研究,得到了一些很好的结论,其主要结果有:1)简化了次BL代数的定义;2)给出了次BL代数的另外两种等价形式,进一步揭示了次BL代数与其他逻辑代数之间的关系;3)证明了一种强次BL代数与BR0代数之间的等价关系,并以次BL代数为基础给出了BR0代数和R0代数的简化定义,改进了已有的结果。
4) Weak-Dual-BL algebra
弱对偶BL代数
5) BL Algebra
BL代数
1.
It is proved that the Distributive Fuzzy Implication Algebra, Boole Algebra and Regular HFI Algebra are equivalent to each other, and Fuzzy Implication Algebra is BL Algebra.
给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质,接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的,从而得到Boole代数的两个等价形式,并且证明了分配的Fuzzy蕴涵代数是BL代数,最后得到了FI代数成为Boole代数的几个充要条件。
6) BL-algebra
BL代数
1.
In partⅡ,the concept of prelinearity residuated lattice is proposed,we show that prelinearity residuated lattice is the basis of BR0-algebra and BL-algebra.
随后提出了预线性剩余格的概念,证明了预线性剩余格是BR_0代数与BL代数的基础,从而也就是著名的MV代数、R_0代数、G代数与Ⅱ代数的公共基础。
2.
Meanwhile,discussion was made on the relations between residual lattice,BL-algebra and associated implication algebra.
同时探讨了关联蕴涵代数与剩余格及BL代数之间的关系。
补充资料：对合代数
对合代数
involution algebra "?algebra with involution
对合代数，叫曲晒叨幻g曲口或目罗bra俪thinvolut10n;即代6Pae此的门幻”“e益l 复数域上的代数E，赋予一个对合(让份。lul沁n)xl~x’，x任E.一些例子是二紧集上连续函数的代数，其中的对合是把任一函数对应于其复共扼;田忱rt空间上有界线性算子的代数，其中的对合是把任一算子对应于其伴随算子;群代数(局部紧群的)(g心uPal罗bra(ofalocallycomPactgrouP));和局部紧群上测度的代数.元素x’“E称为x的共扼元(conj刊尹teekrr℃nt)或伴随元(adjoint elenrnt).一个元素x oE称为自伴的(self一adjoint)或Hen而te的(Herrnitinn)，如果二’=，;称为平规的(加m司)，如果二’二-xx’.如果E包含单位元素1，则满足x‘x=xx‘=1的元素x〔E称为酉的(1川jtary).E中的Her-而te元素的集合E、是E的实向量子空间，且任一x‘E能唯一地写成x=x:十ix:的形式，这里x，，xZ‘E*.在这种情况下，x任E是正规的，当且仅当x:和x:可交换.每一个形如x’x的元素是H亡rrnite的，单位元素也是如此.如果x可逆，则x’也可逆，且(x’)一，=(x一，)’.任一Herrnite元素的谱(见元素的谱(sP以叙unl of an el既‘ni”是关于实轴对称的.一个对合代数称为全对合代数(totally~·拍石。nal罗bra)，如果任一形如x’x(x任E)的元素的谱包含在非负实数集中.全对合代数的例子有:紧集上连续函数的对合代数;E山伙成空间上有界线性算子的对合代数;紧群和交换局部紧群的群代数.非紧半单Lie群的群代数不是全对合代数.交换对合代数E是全对合代数，当且仅当它的所有极大理想是对称的，或当且仅当石的所有特征是Herr面te的.每个C’代数(C‘一”lgebra)都是一个全对合代数. 对合代数E的子集M称为对合集(in铂1而onset)，如果对所有的x〔M有x’〔M.对合代数的映射职:E~F称为对合映射(~lu石。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条