值命題演算的有窮值的具有函數完全性的子系統 |
| |
引用本文: | 胡世華.值命題演算的有窮值的具有函數完全性的子系統[J].数学学报,1955,5(2):173-191. |
| |
作者姓名: | 胡世華 |
| |
作者单位: | 中国科学院数学研究所 |
| |
摘 要: | <正> §1.引言 本文是以一種方法把任何一個完全的且具有函數的完全性(見1],2])的有窮值命題演算嵌入到一個值的命題演算中去,成為子系統. 在本文中涉及的完全的且具有函數的完全性的有窮值的命題演算有以下兩種:
|
收稿时间: | 1954-4-15 |
|
| 点击此处可从《数学学报》浏览原始摘要信息 |
| 点击此处可从《数学学报》下载免费的PDF全文 |
|