摘要
讨论了格蕴涵代数的单性和周期性,并研究了这两种性质之间的关系,同时给出了格蕴涵代数具有单性的几个断定方法.得出了一个重要结论:如果有限的单格蕴涵代数中存在对偶原子,则一定唯一.
The simplicity and periodicity of lattice implication algebra are discussed, and their relationship is studied. Several methods to determine the simplicity of a lattice implication algebra are presented. An important conclusion is that there is a unique dual atom in a finite simple lattice implication algebra whenever it has a dual atom.
出处
《西南交通大学学报》
EI
CSCD
北大核心
2003年第1期4-7,共4页
Journal of Southwest Jiaotong University
基金
国家自然科学基金资助项目(69874033
60074014)
