摘要
研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于（?）-Lindenbaum代数的特殊结构证明了系统（?）的完备性与强完备性.还讨论了形式系统（?）在模糊推理中的应用,所得结果和例子表明系统（?）优于其他一些常用的模糊逻辑系统.
出处
《中国科学（E辑）》
CSCD
北大核心
2002年第1期56-64,共9页
Science in China(Series E)
基金
国家自然科学基金重点资助项目(批准号:19831040)
