期刊文章详细信息
Gdel逻辑系统中的广义重言式理论
Theory of Generalized Tautology in Godel’s Logic System
文献类型：期刊文章
机构地区：[1]唐山师范学院数学系,河北唐山063000
年 份：2000
卷 号：14
期 号：4
起止页码：53-59
语 种：中文
收录情况：CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、普通刊
摘 要：本文将王国俊教授在逻辑系统 W,W,Wk中的广义重言式理论进行推广并应用到了Goo¨ del逻辑系统 G,G,Gn 中。主要结果是 :在逻辑系统 G,G中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统 Gn 中 ,对任一公式最多进行 n次升级算法即可得到重言式 ;利用可达广义重言式概念和 α-矛盾式概念分别在 G,G,Gn 中给出了 F( S)的一个关于 同余的分划。
关 键 词：命题演算 α-矛盾式 Goeddl逻辑系统 广义重言式
分 类 号：O141.1[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
