论文部分内容阅读
研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于L*_Lindenbaum代数的特殊结构证明了系统L*的完备性与强完备性. 还讨论了形式系统L*在模糊推理中的应用,所得结果和例子表明系统L*优于其他一些常用的模糊逻辑系统.
形式系统L*的完备性及其应用
【摘 要】
：
研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于L*_Lindenbaum代数的特殊结构证明了系统L*的完备性与强完备性
【机 构】
：
四川大学数学学院,成都,610064陕西师范大学数学研究所,西安,710062;
【出 处】
：
中国科学E辑
【发表日期】
：
2002年1期
其他文献
物理是门基础学科,物理学的基本规律渗透在自然科学的一切领域,运用于生产技术的各个部门,是工程技术特别是高新技术的基础。职业教育的主要任务是培养应用型、技能型人才。
EFFICIENT NUMERICAL INTEGRATORS FOR HIGHLY OSCILLATORY DYNAMIC SYSTEMS BASED ON MODIFIED MAGNUS INTE
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
采用CVD技术制备了具有不同界面层的Cf/Al金属基复合材料,获得了一种界面层阻尼功能设计的新方法.研究发现具有特殊界面层的Cf/Al复合材料的抗拉强度、弹性模量和阻尼性能比