模糊逻辑系统UL*不具有标准完备性

证明了由Cignoli等人提出的模糊逻辑系统L∏G的特征,公理(L∏G)是张小红提出的UL*系统的重言式,但不是UL*系统的定理,这一结果表明UL*系统不具备标准完备性。