同余的

Is proved to be a residuated lattice. In the second chapter, the concept of congruence relation on a residuated lattice is introduced. It is proved that the quotient algebra of a residuated lattice about the congruence relation is still a residuated lattice. Then as a generalization of the congruence relation, the concept of fuzzy congruence relation is brought in.

本文的第二章首先定义了剩余格上的同余关系，证明了剩余格中的滤子对应一个同余关系，并由该同余关系确定的商代数仍是剩余格；然后将同余关系自然推广，定义了Fuzzy同余关系，证明了Fuzzy同余关系与Fuzzy滤子是一一对应的。

Chapter three: Define fuzzy congruence relation of MTL-algebra, prove that fuzzy fiter and fuzzy congruence relation is a bijective function in MTL-algebra, quotient algebra induced by congruence relation still forms a MTL-algebra; Introduce the relation between some kinds of fiters and fuzzy filters maitained above in IMTL-algebra,i.e. BR_0 algebra, which is a MTL-algebra satisfied inversely odering and involutive relation.

第三章：定义了MTL-代数中的Fuzzy同余关系，证明了MTL-代数中Fuzzy滤子与Fuzzy同余关系是——对应的，由同余关系所诱导的商代数依然构成一个MTL-代数；介绍了在满足逆序对合对应的MTL-代数-IMTL-代数，即BR_0-代数中上述几中特殊滤子，Fuzzy滤子之间的关系。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

In fact, it was proved by Pastijn that the idempotent semirings for whichis a congruence form a proper subvariety of the variety of all id empotent semirings. Also the defining equations were given with three free var iables of this variety.

Pastijin证明了：是S上的同余的幂等元半环S的全体构成了幂等元半环簇的一个子簇，进一步还给出了这个子簇的含有3个变量的簇等式组，当时不知道这个子簇是否有两个变量的簇等式组。

In chapter two of this paper, we introduce the transitivity, which is an important definition in the 1-permutation group.

在第三章，我们介绍了格序置换群的凸同余，并研究了可迁格序置换群的凸同余与块所决定的可迁格序置换群的分类；讨论了可迁格序置换群的凸同余和块的性质以及它们之间的关系。

In this paper obtains the conclusion by the discrete property of integer: If a, b∈Z+, also a≤b, b-a=d, then d is one of 0,1,…,b-1 in these b integers; Theorem: a | b also a | c to abitrary x,y∈Z, has a | to promote to more sums; By promotes the cancellation from additivity of coresidual; By the prime number is the infinite inferential reasoning continual divisible number also is infinite.

论文中由整数的离散性得到结论：若a，b∈Z+，且a≤b，b-a=d，则d为0，1，，b-1这b个数中的一个；将定理：a | b 且 a | c 对任意的x，y∈Z，有a |推广到更多项的和；由同余的相加性推出相减性；由素数的个数是无限的推导出连续合数的个数也是无限的。

The congruences on orthorings are studied. Results concerning congruences and congruence-pairs on orthorings are obtained.

对纯整环并半环上的同余进行了研究，得到了纯整环并半环上关于同余和同余对的一些结果。

Since there is a close connection between principal filters and the smallest complete semi-lattice congruences on a po-semigroups, the study of the structure of filters has attracted a number of authors. For example, Kehayopulu, Xie X.Y, Cao Y.

在偏序半群中，由于主滤子同最小完全半格同余乃至完全半格同余有着密切的联系，又主滤子在偏序半群结构的研究中起到至关重要的作用，因而对滤子结构的研究吸引了众多学者的关注。

We discuss some U-classes and V-classes which consist of special congruences respectively,and describe the corresponding special E-solid semigroups.

含有某些特殊同余的U—类和V—类被分别清晰地描述；进而E—硬正则半群类及其一些特殊的子类被分层次地刻划。

At the beginning the representatives of elementary rectangular band of E-unitary in-verse semigroups is studied, with the congruences on lattices and on completely simplesemigroups the congruences and congruence lattices on elementary rectangular band ofE-unitary inverse semigroups are described.

首先研究了E-酉逆半群基本矩形带的结构表示形式，用半格上的同余和完全单半群上的同余刻画了E-酉逆半群基本矩形带的上的同余和同余格。

It seems likely that Kraft will return with a better offer.

看起来卡夫要重新考虑一个更好的出价了。

But he'd rather burn off my feelers and watch me squirm.

可他却放任那个家伙对我为所欲为！