期刊文章详细信息
L~*系统的一种改进系统L_0~*
A kind of improved formal deductive system
文献类型：期刊文章
机构地区：[1]唐山师范学院数学系
年 份：2001
卷 号：17
期 号：1
起止页码：46-52
语 种：中文
收录情况：CSCD、CSCD_E2011_2012、MR、ZMATH、普通刊
摘 要：研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L*
关 键 词：模糊逻辑 命题演算 形式演绎系统T 改进形式演绎系统T 逻辑系统
分 类 号：O141.1[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
