科研之友
微信
新浪微博
Facebook
分享链接
摘要
运用泛代数和格理论的方法和原理研究有界Heyting代数及其理想问题。首先，给出了有界Heyting代数的若干新性质。其次，在有界Heyting代数(H,≤,→,0,1)中引入理想及由H的非空子集生成的理想概念并考察它们的性质和刻画。再次，分析了H的理想与格理想以及滤子三个概念之间的关系。最后，讨论了H的全体理想之集ID(H)的格结构特征，证明了ID(H)在集合包含序?下构成完备Heyting代数和分配的连续(代数)格，进而构成一个Frame.
-
单位赤峰学院; 教育科学学院
