摘要
运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步研究.在Heyting代数H中引入了滤子F关于H的子集A的扩张滤子概念并考察其性质.证明了一个滤子F关于H的所有子集的扩张滤子全体之集构成一个完备Heyting代数且构成一个Stone格.
The theory of filters in Heyting algebras is further studied by using the method and principle of universal algebra and logic.The notion of expand filter of a filter F associated to a subset A of H is introduced and some its basic properties are investigated.It＆#39;s proved that the set EF which containing all expand filters of a given filter F associated to all subsets of H is formes a complete Heyting algebra and a stone lattice.
出处
《数学的实践与认识》
北大核心
2017年第22期255-261,共7页
Mathematics in Practice and Theory
基金
内蒙古自治区高等学校科学研究项目(NJSY14238)
