制约逻辑C_m系统与相干逻辑R系统的等价性 |
| |
引用本文: | 张清宇.制约逻辑C_m系统与相干逻辑R系统的等价性[J].数学通报,1987(2). |
| |
作者姓名: | 张清宇 |
| |
摘 要: | C_m系统是制约逻辑的命题演算系统,是由浦其堇、邹君璧和林邦瑾三人在业师沈有鼎先生的具体指导下给出的,于一九七九年见世。R系统是相干逻辑(relevance logic)的命题演算系统,是美国逻辑学家安特逊和贝尔纳普于1959年建立的。本文的目的是证明这两个系统等价。 相干逻辑是关于相干蕴涵的逻辑。所谓相干蕴涵就是顾及命题在内容上的联系的一种联结词,它反映了可用命题变项之共同出现表示的内容上的联系;也就是说,A相干蕴涵B的必要条件是:
|
本文献已被 CNKI 等数据库收录! |
|