期刊文章详细信息
文献类型:期刊文章
机构地区:[1]岳阳师范学院数学系,湖南岳阳414000
年 份:2002
卷 号:16
期 号:2
起止页码:52-57
语 种:中文
收录情况:CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、普通刊
摘 要:研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。
关 键 词:模糊逻辑 命题演算 基础J^*系统 Lukasiewicz系统
分 类 号:O141.1[数学类]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...