基于左连续伪T-模的非可换模糊逻辑系统PUL＊

Non-commutative Fuzzy Logic System PUL＊ Based on Left Continuous Pseudo T-norms

对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.