期刊文章详细信息
Lukasie wicz逻辑系统中的广义重言式理论 ( EI收录)
Theory of Generalized Tautology in Lukasiewicz Logic System
文献类型：期刊文章
机构地区：[1]四川大学数学系 [2]西南交通大学应用数学系
年 份：2000
卷 号：35
期 号：5
起止页码：559-563
语 种：中文
收录情况：BDHX、BDHX1996、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、SCOPUS、ZGKJHX、ZMATH、核心刊
摘 要：将逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中 ,主要结果是 :得到了逻辑公式集F(S)在该系统中关于﹁同余的分划 ;证明了在该逻辑系统中对每个无理数α而言 ,不存在可达α 重言式 ,且对每个实数α而言 ,不存在可达α+ 重言式 ;给出了广义重言式、广义矛盾式各类之间的关系定理。
关 键 词：模糊逻辑 逻辑系统 广义重言式理论
分 类 号：O141.1[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
