期刊文章详细信息
参数Kleene系统中的广义重言式
Generalized Tautologies in Parametric Kleene's Systems
文献类型：期刊文章
机构地区：[1]上海师范大学数学科学学院,上海200234
基 金：国家自然科学基金!(69873 034)
年 份：2000
卷 号：14
期 号：1
起止页码：1-7
语 种：中文
收录情况：CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、普通刊
摘 要：引入新的一组带参数 p( p∈ [0 ,1 ])的 t-范∧p,t-余范∨ p 和蕴涵 θp,讨论它们的基本性质。在此基础上研究参数 Kleene系统 Kp 与三值 Kleene系统 K3,三值 Lukasiewicz系统 L3和经典二值系统 B2 关于 (广义 )重言式的相互关系 ,指出系统 Kp 对广义重言式而言是可判定的。
关 键 词：参数Kleene系统 广义重言式 t-范∧A t-余范∨p
分 类 号：O159[数学类] O141]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
