期刊文章详细信息
形式系统~*的完备性及其应用
文献类型：期刊文章
机构地区：[1]四川大学数学学院,成都610064 [2]陕西师范大学数学研究所,西安710062
基 金：国家自然科学基金重点资助项目(批准号:19831040)
年 份：2002
卷 号：32
期 号：1
起止页码：56-64
语 种：中文
收录情况：BDHX、BDHX2000、CSCD、CSCD2011_2012、核心刊
摘 要：研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于（?）-Lindenbaum代数的特殊结构证明了系统（?）的完备性与强完备性.还讨论了形式系统（?）在模糊推理中的应用,所得结果和例子表明系统（?）优于其他一些常用的模糊逻辑系统.
关 键 词：模糊逻辑 形式系统T^＊ R0代数 完备性 模糊推理 三Ⅰ算法 模糊集 数理逻辑
分 类 号：TP181]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
