| 经典一阶逻辑的希尔伯特型系统 |
| |
| 引用本文： | 刘新文.经典一阶逻辑的希尔伯特型系统[J].湖南科技大学学报(社会科学版),2005,8(2):27-29. |
| |
| 作者姓名： | 刘新文 |
| |
| 作者单位： | 中国社会科学院,哲学研究所,北京,100732 |
| |
| 摘 要： | 系统Z是文7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z'的完全性。
|
| 关 键 词： | 广义谢夫竖函数 存在量词 括号记法 |
| 文章编号： | 1672-7835(2005)02-0027-03 |
| 修稿时间： | 2004年12月9日 |
An Axiomatics for First-order Logic |
| |
| LIU Xin-wen.An Axiomatics for First-order Logic[J].journal of hunan university of science&technology,2005,8(2):27-29. |
| |
| Authors: | LIU Xin-wen |
| |
| Abstract: | This paper presents an axiomatics for first - order logic with a class of generalized Sheifer - stroke functions as its primitive connectives and (?) primitive quantifier. In this axiomatics the square - bracket unites the primitives mentioned above. Finally, we prove the completeness theorem by the counter - model method. |
| |
| Keywords: | generalized Sheffer - stroke function existential quantifier bracket - notation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
