欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
模糊逻辑命题演算系统L^＊在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统L^＊的语法结构，得到了一些有趣的新结果，特别是给出了它的一个简化形式，并证明了这个简化公理系统的独立性。
英文摘要：
The formal system L^＊ is an important fuzzy propositional calculus system, and it has been successfully applied to researchers connecting fuzzy logic and fuzzy reasoning. This paper further discusses syntactic structure of the system L^＊, some new results are revealed. In particular, a simplified version of the system is given, and the independence of this version is also proved.
同期刊论文项目
同项目期刊论文
期刊信息
位置：