伪度量L＊-Lindenbaum代数中基本运算的连续性  

Continuity of basic operations on pseudo-metric (L)*-Lindenbaum algebra

作　　者：王伟[1] 王国俊[2] 

机构地区：[1]西安财经学院网络与现代教育技术中心,陕西西安710061 [2]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《陕西师范大学学报（自然科学版）》2005年第2期1-4,共4页Journal of Shaanxi Normal University：Natural Science Edition

基　　金：国家自然科学基金重点资助项目(10331010)

摘　　要：研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便.The pseudo-metric on the set of propositions of system L~* induces a pseudo-metric ρ on L~*-Lindenbaum algebra M. The present paper proves that the negation operator, the join operator and the implication operator all are continuous w.r.t. ρ. These provide a convenient way for establishing approximate reasoning theory on (M,ρ).

关 键 词：系统L＊ L＊-Lindenbaum代数 伪度量 连续性 

分 类 号：O141.1[理学—数学]