| 评“中介逻辑ML的一种模型” |
| |
| 引用本文： | 郑传金 张明义. 评“中介逻辑ML的一种模型”[J]. 贵州科学, 1992, 10(1): 92-93 |
| |
| 作者姓名： | 郑传金 张明义 |
| |
| 作者单位： | 贵州科学院,贵州科学院 贵阳 550001,贵阳 550001 |
| |
| 摘 要： | 近年来,朱梧槚、肖溪安等发表了名为“中介逻辑”的形式命题演算系统MP,并在系统内作了大量形式推演。由于起初“中介逻辑”没有语义解释,使得一段时间以来人们对“中介逻辑”是否为普通三值逻辑发生争议。有的作者试图为其建立模糊解释,然而最终导致失败。研究结果表明,“中介逻辑”确是三值逻辑,李祥、李广元在“科学通报”1988年第22期和1989年第5期的两篇文章中对此作了明确的回答。笔者就潘正华发表在《南京师大学报》1989年第一期上的文章“中介逻辑ML的一种模型”一文中出现的有关错误进行讨论。
|
| 关 键 词： | 中介逻辑 三值逻辑 指派 解释 |
COMMENT ON THE MODEL OF MEDIUM LOGIC |
| |
| Zheng Chuanjin Zhang Mingyi. COMMENT ON THE MODEL OF MEDIUM LOGIC[J]. Guizhou Science, 1992, 10(1): 92-93 |
| |
| Authors: | Zheng Chuanjin Zhang Mingyi |
| |
| Abstract: | in this paper, we discussed the mistakes in the model of medium logic given by Mr. Pan. We introduced a common way of modifying the model, and the modified model shows that "the Medium Logic" is one of 3-valued logic. |
| |
| Keywords: | medium logic |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
