|
|||||
|
|
| 系统Z中的范式和插入定理 | |
| 引用本文： | 张清宇.系统Z中的范式和插入定理[J].哲学研究,1999(12). |
| 作者姓名： | 张清宇 |
| 作者单位： | 中国社会科学院哲学研究所 |
| 摘 要： | 系统Ｚ是我在文［１］中建立的的经典命题逻辑的一个公理系统。这系统只用一种初始联结词──广义析舍，而且采用括号记法，因而使得系统的陈述更为直接明了。它的可判定性、可靠性、完全性和独立性等证明也都很简单。系统Ｚ是很有独特之处的，分离规则和双重否定规则在其中都不成立。本文将继续这方面的工作。首先，我们提出一种析舍范式，并阐明它跟合取范式和析取范式的联系。其次，我们陈述并证明插入定理。通常插入定理的证明很少或几乎没有直接以公理系统为基础进行的，而我们的证明则是施归纳于系统Ｚ中证明的长度进行的，这是系统Ｚ… |
| 本文献已被 CNKI 等数据库收录！ | |