东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

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

ISSN号：1671-6132
期刊名称：《南阳师范学院学报》
时间：0
分类：TP273.4[自动化与计算机技术—控制科学与工程;自动化与计算机技术—检测技术与自动化装置] O159[理学—数学;理学—基础数学]
作者机构：[1]南昌大学信息工程学院,江西南昌330031
相关基金：国家自然科学基金赞助项目（编号：60663002）;江西省自然科学基金赞助项目（编号：0611052）.

作者：何义平[1], 王三民[1]

关键词： SS-三角模, 模糊逻辑系统UL^＊, 标准完备性, SS - norm, Fuzzy logic UL^＊ , Standard completeness

中文摘要：

证明了由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^＊.

同期刊论文项目