| 引用本文: | 王兵山,李舟军.广义抽象协调类和广义合一原理.[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[点击复制] |
|
| |
|
|
| 本文已被：浏览 6551次 下载 6139次 |
| 广义抽象协调类和广义合一原理 |
| 王兵山, 李舟军 |
|
(国防科技大学 计算机系 湖南 长沙 410073)
|
| 摘要: |
| 协调性是数理逻辑中最基本的语法概念之一。Smullyan 提出了抽象协调类概念, 并证明了相应的Smullyan 合一原理。通过考察协调合式公式集类所具有的种种性质, 本文将抽象协调类概念推广至最一般的形式——广义抽象协调类, 并证明了相应的广义合一原理。这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。 |
| 关键词: 协调性, 广义抽象协调类, 广义合一原理 |
| DOI： |
| 投稿日期：1998-03-26 |
| 基金项目:国家863计划项目和国家自然科学基金资助 |
|
| Universal Abstract Consistency Class and Universal Unifying Principle |
| Wang Bingshan, Li zhoujun |
|
(Department of Computer, NUDT, Changsha, 410073)
|
| 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. |
| Keywords: consistency, universal abstract consisency class, universal unifying principle |
|
|
|
|
|
