Godoel逻辑系统中F(S)的一个分划及其应用

摘要：

将王国俊教授于1997年以来在逻辑系统W、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Godel逻辑系统G、G、Gn中,得到了(1)在逻辑系统G、G中,重言式不可能由对非重言式进行有限次升级算法得到;(2)在逻辑系统Gn中,对任一公式最多进行n-1次升级算法即可得到重言式;(3)在逻辑系统Gn中,是F(S)的一个关于-同余的分划;在逻辑系统G中,是F(S)的一个关于-同余的分划.(4)在[0]-T(R)(R∈|G,G,Gn|)中引入了一种降级算法并讨论了其性质.

关键词：模糊逻辑、语义、广义重言式、广义矛盾式、升级算法、分划、降级算法

所属期刊栏目：18

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

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

页数：共8页

页码：61-68