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

摘要：

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

关键词：模糊逻辑、命题演算、可达a+-重言式、a-矛盾式、升级算法、分划

所属期刊栏目：37

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：675-682