共查询到3条相似文献,搜索用时 0 毫秒
1.
形式系统L*的完备性及其应用 总被引:16,自引:0,他引:16
研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于L*_Lindenbaum代数的特殊结构证明了系统L*的完备性与强完备性. 还讨论了形式系统L*在模糊推理中的应用,所得结果和例子表明系统L*优于其他一些常用的模糊逻辑系统. 相似文献
2.
研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于(?)-Lindenbaum代数的特殊结构证明了系统(?)的完备性与强完备性.还讨论了形式系统(?)在模糊推理中的应用,所得结果和例子表明系统(?)优于其他一些常用的模糊逻辑系统. 相似文献
3.
形式系统L*的扩张L*n及其完备性 总被引:2,自引:0,他引:2
将Pavelka语义与语构有机结合的方法运用于命题演算形式系统L*的研究, 在公式集中引入部分常值, 从语义和语构两个途径将公式程度化, 同时将推理过程也程度化, 提出了系统<L*的一个扩张L*n, 证明了L*n的完备性. 相似文献