10.3969/j.issn.1674-7259.2002.01.009
形式系统L*的完备性及其应用
研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于L*_Lindenbaum代数的特殊结构证明了系统L*的完备性与强完备性. 还讨论了形式系统L*在模糊推理中的应用,所得结果和例子表明系统L*优于其他一些常用的模糊逻辑系统.
模糊逻辑、形式系统L*、R0代数、完备性、模糊推理、三I算法
32
O1(数学)
国家自然科学基金19831040
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共9页
56-64