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.

 
  • 研究了完备布劳威尔格上全体蕴涵算子之集,在此集上定义运算及序关系使其成为么半群,且是完备布劳威尔格;
今日热词
目录 附录 查词历史