摘要
对P.Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL＊,证明了它的可靠性定理.同时,以PUL＊系统的Lindenbaum代数结构为背景引入PUL＊.代数概念,建立了相应的滤子理论,得到PUL＊-代数的正规素滤子定理,借此证明了PUL＊系统的完备性.
Based on left continuous pseudo t-norms,a new non-commutative fuzzy logic system PUL＊ is constructed as an extension of the fuzzy logic system psMTL which is proposed by P.Hájek.The soundness theorem of system PUL＊ is proved.Moreover,by the introducing the notion of PUL＊-algebras and constructing the normal prime filter theorem of PUL＊- algebras, the completeness of system PUL＊ is proved.
出处
《数学进展》
CSCD
北大核心
2007年第3期295-308,共14页
Advances in Mathematics（China）
基金
国家自然科学基金(No.60474022)
浙江省自然科学基金(No.Y605389)
宁波市青年基金(No.2005A620032)
