Investigate the set of all implications on a complete Brouwerian lattice.Define operators to endow these sets as monoid structure,which are also complete Brouwerian lattice.

• 研究了完备布劳威尔格上全体蕴涵算子之集,在此集上定义运算及序关系使其成为幺半群,且是完备布劳威尔格;