利用格蕴涵代数找出所有LI-理想的方法  

Using Lattice Implication Algebras to Find All LI-ideals

作　　者：赵建彬[1] 朱华[1] 

机构地区：[1]郑州大学数学系,河南郑州450001

出　　处：《数学的实践与认识》2012年第19期191-196,共6页Mathematics in Practice and Theory

基　　金：国家自然科学基金(61175055)

摘　　要：利用格蕴涵代数中理想的定义未找出所有的理想需要花费大量的时间.给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法;再利用析取运算表找出格蕴涵代数中所有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.

关 键 词：格蕴涵代数 理想 sl_理想 LI-理想 

分 类 号：O153.1[理学—数学]