关于《完备Brouwer格上伪t-模与蕴涵算子》的注记(英文)  

Note on ″Pseudo-t-norms and implication operators on a complete Brouwerian lattice″

作　　者：韩成哲[1] 李洪兴[2] 

机构地区：[1]金日成综合大学数学力学系 [2]北京师范大学数学科学学院,北京100875

出　　处：《模糊系统与数学》2006年第1期103-106,共4页Fuzzy Systems and Mathematics

基　　金：National Natural Science Foundation of China(60474023);Research Fund for Doctoral Program ofHigher Education(20020027013);Science and Technology Key Project Fund of Ministry of Education(03184);Major State BasicResearch Development Program of China(2002CB312200)

摘　　要：举例说明关于伪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.

关 键 词：非经典逻辑 伪T-模 蕴涵算子 

分 类 号：O159[理学—数学]