期刊文章详细信息
修正的Kleene系统中的Σ-(α-重言式)理论
文献类型：期刊文章
机构地区：[1]陕西师范大学数学研究所,西安710062
基 金：国家自然科学基金资助项目 !(批准号 :193310 30 )
年 份：1998
卷 号：28
期 号：2
起止页码：146-152
语 种：中文
收录情况：CSCD、CSCD2011_2012、JST、普通刊
摘 要：证明了关于全体赋值而言 ,修正的Kleene系统中只有 3种α 重言式 .在赋值域为有限集的情形证明了当α过半时α 重言式的类类互异定理 .最后 ,在有限值系统中证明了广义重言式的重言式表示定理 .
关 键 词：Kleene系统 模型推理 类类互异定理 重言式
分 类 号：O141[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
