摘要
综合运用泛代数与逻辑学的方法和原理对Heyting代数中滤子概念作进一步深入研究.引入了Heyting代数的关于其子集的不变滤子概念.给出了不变滤子的若干性质.证明了Heyting代数的关于一个给定子集的不变滤子全体之集构成一个完备Heyting代数.
In this paper, we further study the theory of filters in Heyting algebras by using the method and principle of universal algebra and logic. The notion of invariant filters associated to a subset of a Heyting algebra is introduced. Some properties of invariant filter are investigated. It＇s proved that the set of all invariant filters associated to a given subset of a Heyting algebra is formed a complete Heyting algebra.
作者
刘春辉
LIU Chun-hui(Department of Mathematics and Statistics,Chifeng University,Chifeng 024001,China)
出处
《数学的实践与认识》
北大核心
2018年第12期240-246,共7页
Mathematics in Practice and Theory
基金
内蒙古自治区高等学校科学研究项目(NJSY14238)
