1) Simpliflication of BR-algebras
BR0代数的简化形式
2) BR0 algebras
BR0代数
1.
The part of residual lattice in 《Nonclassical mathematical logic and approximate reasoning》 written by Wang has been studied carefully,and some nice properties in BR0 algebras proposed by Wu are used,the commutative condition of t-norm is limited.
探讨BR0代数中不可交换的t模。
2.
It is a noncommutative generalization of BR0 algebras.
文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的。
3.
Fuzzy ideals and intuitionistic fuzzy ideals of BR0 algebras;
引入BR0代数的Fuzzy理想与素Fuzzy理想的概念;给出了Fuzzy理想与素Fuzzy理想的等价形式;在(素)Fuzzy理想基础之上又进一步引入了(素)直觉Fuzzy理想,并通过Fuzzy理想找到了它们与(素)理想之间的关系。
3) weak BR0 algebras
弱BR0代数
4) pseudo BR0 algebras
伪BR0代数
1.
According to these results,pseudo BR0 algebras form algebraic varietties,i.
文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的。
5) BR0-algebra
BR0-代数
1.
Aim To research the completeness of BR0-algebra.
目的对BR0-代数自身的完备性问题进行研究。
2.
In this paper we discuss the relation between the BR0-Algebra and the BCK-Algebra,and also the relation between the filter of the BR0-Algebra and the ideal of the BCK-Algebra.
讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论。
3.
The properties of BR0-algebra are investigated,the improved form of definitions of BR0-algebra are proposed.
作者对基础R0-代数进行了研究,从定义的形式上对BR0-代数进行了简化,使之更加符合逻辑代数的基本特征,进一步体现了BR0-代数与其它逻辑代数之间的关系。
6) BR0–algebras
BR0–代数
1.
By further investigating the BR0–logic algebras, a kind of non-ordered form of BR0–algebras has been obtained which imbeds the order relation of BR0–algebras into its operators of ⊕ and →.
对BR0–逻辑代数进行了进一步研究,得到了BR0–逻辑代数的一种无序表示形式,使得BR0–代数中的序关系蕴涵于BR0–代数的基本运算⊕和→之中,并根据BR0–代数的无序表示形式提出了WBR0–代数理论,初步地讨论了其中的性质。
补充资料：代数结构的形式
代数结构的形式
form of an (algebraic) structure
下降定理的整体化).对于概形的态射f:y~X，考虑纤维积Yx二Y和Yx，Yx、Y，设几j:Yx二Yx二Y~Yx*Y是投射妙，，儿，儿)l一(只，片)，3)i)j)l，八:Yx、Y~Y是投射蜘，乃)l~卫，汾1，2.如果f:y~X是忠实平坦的紧态射，则给出X上仿射概形Z等价于给出Y上仿射概形Z‘连同一个使得成.佃二竣(的式，间的同构::式Z’~式z‘. 下降理论是相当广泛的，它包括诸如这样一些内容:利用局部截面来确定层的整体截面，通过粘合X的开搜盖{鱿}的元素上的平凡丛砚xF~以来构造局部平凡纤维丛.实际上，设X’是鱿的不交并，P:r~x是自然投射.给出粘合数据久，:(耳门鱿)‘F~(鱿n印‘F，就是给出同构::式E’~式E’，这里E’是纤维为F的平凡向量丛X’%F，而粘合数据的相容性相当于条件龙:间=瓜叻p二闷· 对于(域上)L记代数的形式的处理见[A71，对于特征为O的域上的L记代数及模Lie代数的情况(即在特征p>0的域上)见【A习.对于下降和形式的相当综合的处理见【Al]. 对象的形式有时称为扭形式(t划乞让d form). 在关于6司。is域扩张kCk‘(或S】拟:(k〕~51戏(k))的下降的情形，称为〔饭】。is下降(6司。is如cent).的态射X一S，设f:S’~S是C中的态射.从S到S’ 的换基(b次记chan罗)给出由D图国比留正方形((滋欣-s如sqUare). Xs~X *奋 S，~S定义的拉回(纤维积)Xs二XxsS’.(当S’=SPec(k’)，S=51戏:(k)，且例如C是(仿射)概形的范畴时.这对应于扩张标量. 现在对象Y“C，:是X“氏、·的S’/S形不(S’/S-form)，如果对象Xs，和Ys，在S’上同构.对于更一般的结构，见【A2]. 与形式相关的一个问题钉降粤诊(如cent俪ry)的主题.在上述具有基变换的范畴里，与这个理论有关的问题是:给定ZC氏:.，是否存在S上的X，使碍在S’上Xs.同构于Z，以及为了这种情况成立，Z必须满足什么性质. 在以下的具体情形考察这个问题:R是(具有单位元的)交换代数，S是交换R代数.给定S上的模M，问题是是否存在R上的模N，满足M”Ns=N⑧声(作为S模).下面的所有张量积⑧都是指R上的张量积⑧，.如果M具有形式Ns，则存在S⑧S模的自然同构SONs~Ns因S，由s，⑧n。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条