Gainse-Rescher逻辑系统中的广义重言式理论 (2000年)

将王国俊教授在逻辑系统W，W，Wk中的广义重言式理论进行推广，并应用到了Gainse-Rescher逻辑系统Gr，Gr，Sn中。主要结果是：在逻辑系统Gr，Gr，中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Sn中，对任一公式最多进行n次升级算法即可得到重言式；利用可达广义重言式概念和a-矛盾式概念分别在Gr，Gr，Sn中给出了F（S）的一个关于一同余的分划。