|
|||||
|
|
| Gainse-Rescher逻辑系统中的广义重言式理论 | |
| 作者姓名： | 吴洪博 阎满富 |
| 作者单位： | 四川大学数学学院,成都610064;唐山师范学院数学系,唐山063000 |
| 摘 要： | 将王国俊教授在逻辑系统Ｗ,Ｗ,Ｗｋ中的广义重言式理论进行推广,并应用到了Ｇａｉｎｓｅ－Ｒｅｓｃｈｅｒ逻辑系统Ｇｒ,Ｇｒ,Ｓｎ中,主要结果是：在逻辑系统Ｇｒ,Ｇｒ中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Ｓｎ中,对任一公式最多进行ｎ次升级算法即可得到重言式;利用可达广义重言式概念和ａ－矛盾式概念分别在Ｇｒ,Ｇｒ,Ｓｎ中给出了Ｆ（Ｓ）的一个关于一同余的分划。 |
| 关 键 词： | 模糊逻辑 命题演算 可达a+-重言式 a-矛盾式 升级算法 分划 |
| 文章编号： | 0490-6756(2000)05-0675-08 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |