| 逻辑系统(-W),W,Wk中F(S)的一个分划及其升级算法的性质 |
| |
| 引用本文： | 吴洪博,文秋梅. 逻辑系统(-W),W,Wk中F(S)的一个分划及其升级算法的性质[J]. 陕西师范大学学报(自然科学版), 2000, 28(2) |
| |
| 作者姓名： | 吴洪博 文秋梅 |
| |
| 作者单位： | 吴洪博,WU Hong-bo(陕西师范大学数学研究所,陕西,西安,710062);文秋梅,WEN Qiu-mei(唐山师范学院数学系,河北,唐山,063000) |
| |
| 摘 要： | 研究了逻辑系统(-W),W,Wk中F(S)的分划问题及其升级算法的一些性质.分别在(-W),W,Wk中利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并证明了:在(-W)(W)中,重言式不可能由对非重言式利用升级算法得到;在Wk中,对任一公式最多进行[k+1/2]次升级算法即可得到重言式.
|
| 关 键 词： | 命题演算 可达α+-重言式 分划 升级算法 α-矛盾式 |
Partitions of F(S) and properties of its upgrade algorithm in logic system(-W),W,Wk |
| |
| WU Hong-bo,WEN Qiu-mei. Partitions of F(S) and properties of its upgrade algorithm in logic system(-W),W,Wk[J]. Journal of Shaanxi Normal University: Nat Sci Ed, 2000, 28(2) |
| |
| Authors: | WU Hong-bo WEN Qiu-mei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
