格蕴涵代数的公理系统相关硕士博士期刊学术论文

证明定义有二元运算→和零元运算（固定元）O的非空集合L（即：L是（2，0）型代数）只要满足四条算律就可成为格蕴涵代数。因此，在定义格蕴涵代数时，......