| 严格蕴涵系统S3的协调性 |
| |
| 引用本文： | 李娜,李季.严格蕴涵系统S3的协调性[J].南京大学学报(自然科学版),2005,22(1):23-27. |
| |
| 作者姓名： | 李娜 李季 |
| |
| 作者单位： | 南开大学哲学系,天津,300071;郑州师范高等专科,郑州,450044 |
| |
| 基金项目： | 国家自然科学基金，天津市自然科学基金 |
| |
| 摘 要： | 文献2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方法);其次证明模态系统P3和严格蕴涵系统S3等价.
|
| 关 键 词： | 严格蕴涵系统 协调性 布尔值模型 等价性 |
ON THE CONSISTENCY OF THE STRICT IMPLICATION SYSTEM S3 |
| |
| Li Na,Li Ji.ON THE CONSISTENCY OF THE STRICT IMPLICATION SYSTEM S3[J].Journal of Nanjing University: Nat Sci Ed,2005,22(1):23-27. |
| |
| Authors: | Li Na Li Ji |
| |
| Abstract: | |
| |
| Keywords: | the strict implication system the consistency Boolean-valued model the equivalence |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
