L_n×L_2上几类特殊类型格蕴涵代数方程的解法

摘要

在格蕴涵代数中提出了加既约元、乘既约元,研究了一类重要的格蕴涵代数Ln×L2中元素的不可约有限分解,并将这一理论用于研究Ln×L2上的几类格蕴涵代数方程,讨论了方程有解的充分必要条件,在此基础上给出了方程的具体解集。