摘要
借助于格的原子与分子的性质,研究了一些低阶格蕴涵代数的构造问题.证明了在同构的意义下,4阶格蕴涵代数和6阶格蕴涵代数分别只有2个.这些结果将有助于对相应的逻辑系统与模糊推理的研究.
In this paper, by aid of the properties of atoms and molecules in the lattices, the construction of some lattice implication algebras with low orders is discussed. It is proved that there only are two lattice implication algebras with order 4 and order 6, up to isomorphism. Those results will be useful for further studying the corresponding formal deductive systems and fuzzy reasoning.
出处
《宁夏大学学报(自然科学版)》
CAS
北大核心
2005年第3期216-218,224,共4页
Journal of Ningxia University(Natural Science Edition)
基金
广东省自然科学基金资助项目(021073)
关键词
格蕴涵代数
蕴涵链
原子
分子(对偶原子)
lattice implication algebra
implication chain
atom
molecule (dual atom)