|
|||||
|
|
| 关于形式系统 |
|
| 作者单位： | 韩诚（陕西师范大学,数学与信息科学学院,陕西,西安,710062） 周红军（陕西师范大学,数学与信息科学学院,陕西,西安,710062） |
| 基金项目： | 国家自然科学基金资助项目(90207015) |
| 摘 要： | 考察了形式系统(L)*完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于(L)*系统强完备性证明中的错误并给出了一个全新的修正证明.讨论了单位区间[0,1]上全序R0代数的非运算与强否定的一致性,给出了强否定表示定理的一个等价刻画,并对基于不同强否定且蕴含算子为R0算子的无穷值逻辑系统之上的广义重言式进行了考察,得到了公式集F(S)基于不动点的一类新的分划. |
| 关 键 词： | (L)*系统 完备性 强否定 广义重言式 不动点 |
| 文章编号： | 1672-4291(2005)02-0009-04 |
| 修稿时间： | 2004-11-12 |
Notes on proving of (strong) completeness theorem of |
|
| Abstract: | |
| Keywords: | |