举例说明关于伪t-模与蕴涵算子的文献[FSS 132(2002)113]中定理4.1是错误的,此定理还被接连用到[FSS 139(2003)673]及其它文献。本文进而给出此基础性定理成立的一个必要条件。注意,该必要条件是不能由无穷∨-分配伪t-模与无穷∧-分配蕴涵算子的定义引出的。
This paper shows by examples that Theorem 4.1 in Wang and Yu [Fuzzy Sets and Systems 132 (2002) 113], also used one after another in [Fuzzy Sets and Systems 139 (2003) 673] and other references, about pseudo-t-norms and implication operators is false. Furthermore, a necessary condition for this basic theorem to be true is presented. Note that the necessary condition does not follow from the definitions of infinitely ∨-distributive pseudo-t-norm and infinitely ∧-distributive implication.