【摘要】 研究了完备布劳威尔格上全体蕴涵算子之集,在此集上定义运算及序关系使其成为幺半群,且是完备布劳威尔格;然后讨论了线性完备布劳威尔格,且给出一种方法构造新的蕴涵算子,同时研究了蕴涵算子换置位对称性质,最后讨论了[0,1]上任意2个可比蕴涵算子的关系。更多还原

【Abstract】 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.Then discuss the implication operators on a linear complete Brouwerian lattice,and propose a method to generate new implication operators.Moreover,the contra-positive symmetrization property of implication operators and the relation between two comparable implications onare studied.更多还原