1) BR0-equality
BR0-等式
1.
Results BR0-equality and BR0-equation are defined.
结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。
2) Simpliflication of BR-algebras
BR0代数的简化形式
3) 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理想找到了它们与(素)理想之间的关系。
4) weak BR0 algebras
弱BR0代数
5) pseudo BR0 algebras
伪BR0代数
1.
According to these results,pseudo BR0 algebras form algebraic varietties,i.
文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的。
6) 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-代数与其它逻辑代数之间的关系。
补充资料：等式
| 等式 equality 用等号将两个解析式连结而成的式子。例如x2－y2＝(x＋y）（x－y），2x＋3＝7，a2＋b2＝－1等 。一般形式为f（x，y，…，z）＝g（x，y，…，z）。 等号两边的解析式的公共定义域称为等式的定义域（见函数）。如果等式两边的字母用定义域内任一组值代入后，运算结果两个解析式的值都相等，那么此等式称为恒等式。这样的等式实质上是一个命题，数学上大量的恒等式都是经过论证的真命题。如果等式两边的字母代表未知数，只当字母取某些数值时两个解析式的值才相等，这样的等式称为方程，实质上是一个问题。特殊情况是，字母取任何数值时，两边的值都不会相等，这样的等式称为矛盾等式。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条