论文部分内容阅读
本文我们首先在广义deMorgan格X中介绍了一族新的p—并超运算∨p的相关性质，讨论了p的取值使超结构(X，∨p)为一交换超群，(X，∨p，∧)为一超格，证明了由X中有限个元素经过超运算∨p后对应的超结构为子超格．其次给出了X上的关于运算∨1与∧的同余关系R1，考察了R1的相关性质，证明了由R1构造的X上的等价关系Rp为关于∨p与∧，∨的同余关系，得出了Rp与Rp(x)的一系列性质及结论，由Rp构造了商超运算∨p，得出了超代数(X/Rp，∨p)为一交换超群且超代数(X/Rp，∨p，Δp)为一超格．最后引入了超格(X，∨p，∧)上模糊同余关系的概念，讨论了超格(X，∨p，∧)上模糊同余关系(fc)的格结构，证明了(fc)为一分配格，进一步的(fc/～，o，∩)构成一个分配格．