排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
引入半群上模糊理想、模糊同余的概念。给出它们的一些等价刻划,证明了一个半群上所有模糊同余关系作成一个格。最后,给出模糊理想的积和模糊同余关系的积的概念,讨论了它们的一些性质。 相似文献
2.
泛逻辑的零级泛与运算模型是一个三角范数谱系, 本文讨论泛逻辑的零级泛与运算模型的单调性, 证明了T(x,y,h)(h∈[0,1])关于h单调递增. 进一步讨论Hamacher三角范数谱系的单调性, 证明了Hamacher三角范数谱系THamacher(λ)(x,y)关于λ单调递减, 且TL(x,y)≤TEinstein(x,y)≤THamacher(λ)(x,y)≤TP(x, y). 相似文献
3.
我们证明了蕴涵BCK-代数的伴随半群是一个上半格;具有条件(s)的蕴涵BCK-代数的伴随半群是一个广义布尔代数。更进一步证明了有界蕴涵BCK-代数的伴随半群是一个布尔代数。 相似文献
4.
引入了0-恰当半群的概念,它是一种特殊的逆半群.给出了0-恰当半群的等价刻划.讨论具有幂等半格的右0-恰当半群上含于(够)0的最大同余关系μL和具有幂等半格的0-恰当半群上含于(形)0的最大同余关系μ.证明如果S是一个具有幂等半格E的右0-A型半群,则S/μL≌E当且仅当S是一个S0左逆的左消含幺半群的强半格.进一步证明了,如果S是一个具有幂等半格E的0-恰当半群,则S/μ≌E当且仅当S是一个S0逆的消去含幺半群的强半格. 相似文献
5.
6.
讨论泛逻辑的零级泛运算模型的基本代数性质。证明T(x,y,^)是阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对;当h∈(0,0.75)时,有界格([0,1],∨,∧,,*,→0,1)做成一个MV-代数;当h∈(0.75,1)时,有界格([0,1],∨,∧,*,→0,1)做成一个乘积代数。进一步,给出了零级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。 相似文献
1