摘要
证明了由Cignoli等人提出的模糊逻辑系统L∏G的特征,公理(L∏G)是张小红提出的UL*系统的重言式,但不是UL*系统的定理,这一结果表明UL*系统不具备标准完备性。
This paper proof that the characteristic axiom （L ∏G）in fuzzy logic L∏G is tautology with respect to the real unit interval[0,1]in fuzzy logic system UL^＊ ,which is presented by Zhang xiao - hong,but the axiom is not theorem of UL^＊. Th;.s result show that standard completeness is incorrect in fuzzy logic UL^＊.
出处
《江西科学》
2007年第5期532-534,共3页
Jiangxi Science
基金
国家自然科学基金赞助项目(编号:60663002)
江西省自然科学基金赞助项目(编号:0611052)
