Gdel逻辑系统中的广义重言式理论 |
| |
引用本文: | 吴洪博.Gdel逻辑系统中的广义重言式理论[J].模糊系统与数学,2000(4). |
| |
作者姓名: | 吴洪博 |
| |
作者单位: | 唐山师范学院数学系!河北唐山063000 |
| |
摘 要: | 本文将王国俊教授在逻辑系统 W,W,Wk中的广义重言式理论进行推广并应用到了Goo¨ del逻辑系统 G,G,Gn 中。主要结果是 :在逻辑系统 G,G中 ,重言式不可能由对非重言式进行有限次升级算法得到 ;在逻辑系统 Gn 中 ,对任一公式最多进行 n次升级算法即可得到重言式 ;利用可达广义重言式概念和 α-矛盾式概念分别在 G,G,Gn 中给出了 F( S)的一个关于 同余的分划。
|
关 键 词: | 命题演算 可达α -重言式 α-矛盾式 升级算法 分划 |
本文献已被 CNKI 等数据库收录! |
|