广义抽象协调类和广义合一原理
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家863计划项目和国家自然科学基金资助


Universal Abstract Consistency Class and Universal Unifying Principle
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    协调性是数理逻辑中最基本的语法概念之一。Smullyan 提出了抽象协调类概念, 并证明了相应的Smullyan 合一原理。通过考察协调合式公式集类所具有的种种性质, 本文将抽象协调类概念推广至最一般的形式——广义抽象协调类, 并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。

    Abstract:

    Consistency is one of the most fundamental syntactic concepts in mathematical logic. By treating consistency in an abstract way, Smullyan presented abstract consistency class, and proved the socalled Smullyan's unifying principle. In this paper, considering various properties possessed by the class of consistent sets of wffs in first-order logic system, we generalize the concept of abstract consistency class into the most general form-universal abstract consistency class, and further prove its universal unifying principle. This result can be used to prove the completeness theorems of first-order logic system and the universal refutation method proposed by us.

    参考文献
    相似文献
    引证文献
引用本文

王兵山,李舟军.广义抽象协调类和广义合一原理[J].国防科技大学学报,1998,20(6):28-32.
Wang Bingshan, Li zhoujun. Universal Abstract Consistency Class and Universal Unifying Principle[J]. Journal of National University of Defense Technology,1998,20(6):28-32.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1998-03-26
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2014-01-03
  • 出版日期:
文章二维码