格蕴涵代数公理相关论文
设在一个非空集合L上有一个二元运算和两个零元运算O与I,除此之外没有其它已知的代数结构.利用这三个运算可以在L上定义一个一元......
设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运......
