摘要
利用格蕴涵代数中理想的定义未找出所有的理想需要花费大量的时间.给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法;再利用析取运算表找出格蕴涵代数中所有sl_理想的方法;最后,利用蕴涵否运算表找出格蕴涵代数中所有LI-理想的方法.
The traditional method to find all the LI-ideals usually spends a lot of time by according to the definition of LI-ideal in lattice implication algebras. In this paper, the new method to find all ideals is proposed by using the implicative operators in lattice implication algebras. Then all the s/_ideals are found by using the disjunctive operators. Finally, all the LI-ideals are found by using the implicative operators and negative operators.
出处
《数学的实践与认识》
CSCD
北大核心
2012年第19期191-196,共6页
Mathematics in Practice and Theory
基金
国家自然科学基金(61175055)
