可达α+-重言式相关论文
本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-......
将王国俊修正的Kleene系统中引入的广义重言式理论进行扩充和推广,引入了可达α+-重言式等概念.主要结果是:（1）分别在系统(?),W和Wk......
研究了文献[1]中提出的系统Hα的广义重言式理论,利用可达广义重言式的概念给出了F(S)的一个分划,证明了在系统Hα中,只有以下几种......
