摘要
目的将正则蕴涵算子的概念推广到完备格上。方法利用定义及基本性质。结果研究了完备格上正则蕴涵算子的性质以及与一些重要的逻辑代数之间的关系。结论完备格上的正则蕴涵算子与逻辑代数关系密切,是研究逻辑代数的基础。
Aim Generalizing the regular implications to completed lattice. Methods The concept and the basic properties are used to study. Results The properties of the regular implications on completed lattice are studied. Meanwhile the relationships between the regular implications and some important logic algebras are studied. Conclusion Because of the close relations, the regular implication is the key point for studying logic algebras.
出处
《西北大学学报（自然科学版）》
CAS
CSCD
北大核心
2011年第4期569-571,576,共4页
Journal of Northwest University（Natural Science Edition）
基金
陕西省自然科学基金资助项目(2007A12)
关键词
正则蕴涵算子
完备格
逻辑代数
regular implication
completed lattice
logic algebra
