完备格上的伪t-模与剩余蕴涵的直积和直积分解
완비격상적위t-모여잉여온함적직적화직적분해
Pseudo-t-norms and Implication Operators:Direct Products and Direct Product Decompositions on a Complete Lattice