期刊文章详细信息
修正的Kleene系统中的广义重言式理论 ( EI收录)
文献类型：期刊文章
机构地区：[1]四川大学数学系
年 份：2002
卷 号：32
期 号：2
起止页码：224-229
语 种：中文
收录情况：BDHX、BDHX2000、CSCD、CSCD2011_2012、EI、JST、ZGKJHX、核心刊
摘 要：将王国俊修正的Kleene系统中引入的广义重言式理论进行扩充和推广,引入了可达α+-重言式等概念.主要结果是:（1）分别在系统(?),W和Wk中得到了公式集F（S）关于(?)同余的分划;（2）在系统Wk中,对任一公式最多进行[k+1/2]次升级算法即可得到重言式;（3）在(?)（W）中,重言式不可能由对非重言式进行有限次升级算法得到;（4）在系统(?)（W）中,（[（1/2）+]-MP）规则成立.
关 键 词：Kleene系统 广义重言式理论 逻辑系统 可达α^+-重言式 升级算法 分划 α-矛盾式 模糊命题演算
分 类 号：TP18]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
