| Gainse-Rescher逻辑系统中的广义重言式理论 |
| |
| 引用本文： | 吴洪博,阎满富.Gainse-Rescher逻辑系统中的广义重言式理论[J].四川大学学报(自然科学版),2000,37(5):675-682. |
| |
| 作者姓名： | 吴洪博 阎满富 |
| |
| 作者单位： | 1. 四川大学数学学院,成都610064
2. 唐山师范学院数学系,唐山063000 |
| |
| 摘 要： | 将王国俊教授在逻辑系统Ｗ，Ｗ，Ｗｋ中的广义重言式理论进行推广，并应用到了Ｇａｉｎｓｅ－Ｒｅｓｃｈｅｒ逻辑系统Ｇｒ，Ｇｒ，Ｓｎ中，主要结果是：在逻辑系统Ｇｒ，Ｇｒ中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Ｓｎ中，对任一公式最多进行ｎ次升级算法即可得到重言式；利用可达广义重言式概念和ａ－矛盾式概念分别在Ｇｒ，Ｇｒ，Ｓｎ中给出了Ｆ（Ｓ）的一个关于一同余的分划。
|
| 关 键 词： | 模糊逻辑 命题演算 G－R逻辑系统 升级算法 |
| 文章编号： | 0490-6756(2000)05-0675-08 |
THEORY OF GENERALIZED TAUTOLOGY IN GAINSE-RFSCHER' S LOGIC SYSTEM |
| |
| WU Hong-bo,YAN Man-fu.THEORY OF GENERALIZED TAUTOLOGY IN GAINSE-RFSCHER'''' S LOGIC SYSTEM[J].Journal of Sichuan University (Natural Science Edition),2000,37(5):675-682. |
| |
| Authors: | WU Hong-bo YAN Man-fu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
