完备Heyting代数相关论文
Domain理论起源于上个世纪六十年代末,主要研究偏序集上的序关系和拓扑结构，并成为函数式程序语言的指称语义.然而，随着计算机与网络......
运用代数学与模糊集的基本原理和运算方法深入研究有界Heyting代数的扩张模糊LI-理想理论。在有界Heyting代数(H,≤→ ,0,1)中,引......
