| 关于形式系统(L)*(强)完备性证明的注记 |
| |
| 引用本文： | 韩诚,周红军. 关于形式系统(L)*(强)完备性证明的注记[J]. 陕西师范大学学报(自然科学版), 2005, 33(2): 9-13 |
| |
| 作者姓名： | 韩诚 周红军 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西西安710062 |
| |
| 基金项目： | 国家自然科学基金资助项目(90207015) |
| |
| 摘 要： | 考察了形式系统L*完备性的现有证明过程，并对其中所涉及的R0代数同构问题进行了研究，分析了关于L*系统强完备性证明中的错误并给出了一个全新的修正证明．讨论了单位区间[0，1]上全序R0代数的非运算与强否定的一致性，给出了强否定表示定理的一个等价刻画，并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察，得到了公式集F(S)基于不动点的一类新的分划．
|
| 关 键 词： | L＊系统 完备性 强否定 广义重言式 不动点 |
Notes on proving of (strong) completeness theorem of (L)* |
| |
| HAN Cheng,ZHOU Hong-jun. Notes on proving of (strong) completeness theorem of (L)*[J]. Journal of Shaanxi Normal University: Nat Sci Ed, 2005, 33(2): 9-13 |
| |
| Authors: | HAN Cheng ZHOU Hong-jun |
| |
| Abstract: | |
| |
| Keywords: | system L~* completeness strong negation generalized tautology fixed point |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
