同时，对格蕴涵代数之全体的结构进行了全面的研究。
Finally, the set of a lattice implication algebra are studied.
youdao
应用推荐
模块上移
模块下移
不移动