1) R0-algebras
R0-代数
1.
The formal deductive systenm for Fuzzy propositional calculus,R0-algebras and BR0-algebras have been studied.
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L*系统,提出了WBR0-代数的观点,讨论了它与BR0-代数的关系,简化了BR0-代数的定义,在讨论正则FI-代数与正则剩余格之间关系的基础上,讨论了BR0-代数与FI-代数的相互关系。
2.
In this paper,we studied the relations between valuations and filters in some fuzzy logic algebras,such as MV-algebras,Π-algebras,G-algebras,R0-algebras,etc.
通过研究MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的赋值(从模糊逻辑代数L到单位区间[0,1]的同态)与滤子之间的关系,建立了MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的Loomis-Sikorski表现定理。
3.
Based onthe theory and method of residual lattice,the equivalent definitions of MV-algebras,R0-algebras,i mplicative algebras,FI-algebras,BL-algebras were given.
基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式;进一步指出了各种逻辑代数的剩余格的代数本质。
2) R_0-algebra
R0-代数
1.
A fuzzy MP-filter by a fuzzy set in R_0-algebra is constructed, and the following important result is proved: the set of all the fuzzy MP-filters in a R_0-algebra forms a complete modular lattice.
在R0-代数中,从模糊集出发构造了模糊MP-滤子,作为应用证明了如下结果:R0-代数的所有模糊MP-滤子构成一个完备模格。
2.
In this paper,a concept of Boole complement elements is introduced in R_0-algebra, and some of their poperties are discussed.
在R0-代数中引进了Boole可补元的概念,讨论了Boole可补元的一些基本性质;利用Boole可补元构造了R0-代数的一种直积分解。
3.
It is proved that there are at least two dual atoms in every non-chain R_0-algebra with finite order contains.
证明了非链的有限R0-代数至少含有两个不同的对偶原子;在同构的意义下,非链的6元R0-代数有且仅有一个,并具体给出了它的构造,即一个2值的和一个3值的Lukas iew icz蕴涵代数的直积。
3) R0-algebra
R0-代数
1.
Through study of the fuzzy propositional calculus formal deductive system ∧* and Lindenbaum algebra, we have get the lattice-implication representative theorem of R0-algebra.
通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。
2.
R0-algebra(BR0-algebra) plays an important role in studying the fuzzy logic system L*(BL*).
基于R0-代数(BR0-代数)对于模糊命题逻辑系统L*(BL*)的语义的重要性,对R0-代数和BR0-代数作更进一步的探讨,得到了它们的一些新的性质以及BR0-代数成为R0-代数的充分必要条件。
4) weak R 0 algebra
弱R0代数
5) weak R_0-algebraebra
弱R0-代数
6) R0-algebra
R0代数
1.
In R0-algebra,give some kinds of property characteristics of Boolean MP filter.
在R0代数中,给出布尔MP滤子的几种性质特征。
2.
The concepts of fuzzy subalgebra and fuzzy incident MP filter in R0-algebraare introduced.
引入了R0代数的Fuzzy子代数、Fuzzy关联MP滤子的概念,给出了R0代数的Fuzzy集是Fuzzy子代数的几个等价刻画,讨论了R0代数的Fuzzy关联MP滤子的若干性质,证明了Fuzzy子代数(Fuzzy关联MP滤子)在R0代数同态(同构)下的不变性。
3.
Some basic properties of modal R0-algebras are studied in detail.
进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F。
补充资料:Banach代数
Banach代数
Banach algebra
(左H蛋汀积分). 如果把卷积运算 (五*儿)(h)=Jf.(g)儿(g一’入)dg G看作是刀(G)中的乘法,那么刀(G)变为一个E以朋ch代数;如果G是A比}局部紧群,那么B时坦ch代数Ll(G)是交换的.E恤l协ch代数刀(G)称为G的群代数(g旧upal罗bra).群代数Ll(G)有(关于卷积的)单位元,当且仅当G是离散的. 当G是交换群时,可以构造Ll(G)的一一表示,它由每个函数f〔Ll(G)的Fo~变换所给出,后者即G的特征标群台上的函数 f(x)二Jx(夕)f(夕)过夕, ‘函数j(X)全体(关于通常的点态运算)形成某个云上的连续函数代数A(台),它称为局部紧A比、群己的Fo~作攀(砂一al罗bra).特别是,如果G是整数群Z,那么A(Z)是圆周上的可展开为绝对收敛三角级数的连续函数的代数. 5)设G是拓扑群.G上的连续复值函数称为殆周期的(al~‘详坛文阮),如果它的位移f(。。。)(。。任G)全体关于G上的一致收敛形成一个紧函数族.殆周期函数全体关于点态运算和范数 1 J fl}=suP!f(g)! 夕EG形成交换B肚坦ch代数. 6)非交换的四元数域不构成复数域上的E以朋dl代数,因为E以几溉为代数A的元素的乘积应该与数乘相容:对于所有又任C和x,夕‘A,等式 又(xy)=(又x)y=x(Jy)必须成立;在四元数域中当取又二i,x=j,y二k时这个等式是不成立的. 任何具有单位元的压m朗h代数是有连续逆的拓扑代数.特别是,如果或A)是压现舰h代数A中的关于乘法有(双边)逆的元素全体,那么£(A)对于由嵌入。(A)cA诱导的拓扑是拓扑群.如果}}e一al}
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条