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

摘要

利用格蕴涵代数中理想的定义未找出所有的理想需要花费大量的时间.给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法;再利用析取运算表找出格蕴涵代数中所有sl_理想的方法;最后,利用蕴涵否运算表找出格蕴涵代数中所有LI-理想的方法.