完备Heyting代数相关论文
Domain理论起源于上个世纪六十年代末,主要研究偏序集上的序关系和拓扑结构，并成为函数式程序语言的指称语义.然而，随着计算机与网络......
运用代数学与模糊集的基本原理和运算方法深入研究有界Heyting代数的扩张模糊LI-理想理论。在有界Heyting代数(H,≤→ ,0,1)中,引......
理想是研究逻辑代数结构特征的重要工具性概念之一．本文综合运用代数学与模糊集的方法和原理，在有界Heyting代数中引入模糊LI-理想概......
LI-理想是研究格蕴涵代数结构特征的一个重要的工具性概念.综合运用代数学与逻辑学的方法和原理对格蕴涵代数的LI-理想理论作进一......
运用格理论的原理和方法对格蕴涵代数L的LI-理想概念作进一步研究.首先,在L的全体LI-理想之集фLI（L）上定义了格运算 和 ,蕴涵运算 ......
