论文部分内容阅读
刻画了Fuzzy格中理想的最小同余扩张，设I为Fuzzy格F的任一理想，令Tc(I)={x∈F|Ed∈I，使得x∧d’≤d∧d’)，则Tc(I)是F中包含I的最小同余理想．证明了正规Fuzzy格(或Kleene代数)F中，理想E={x∧x’|x∈F}的最小同余扩张是一个W-理想，即存在唯一的同余关系以它为核．