| G(o)del逻辑系统中的广义重言式理论 |
| |
| 引用本文： | 吴洪博.G(o)del逻辑系统中的广义重言式理论[J].模糊系统与数学,2000,14(4). |
| |
| 作者姓名： | 吴洪博 |
| |
| 作者单位： | 唐山师范学院,数学系,河北,唐山,063000 |
| |
| 摘 要： | 本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-),G中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Gn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在(G-),G,Gn中给出了F(S)的一个关于同余的分划.
|
| 关 键 词： | 命题演算 可达α+-重言式 α-矛盾式 升级算法 分划 |
Theory of Generalized Tautology in G(o)del's Logic System |
| |
| WU Hong-bo.Theory of Generalized Tautology in G(o)del's Logic System[J].Fuzzy Systems and Mathematics,2000,14(4). |
| |
| Authors: | WU Hong-bo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
