“中介逻辑”的特征问题

被引：10

作者：

李祥

李广元

机构：

[1] 贵州大学数学系,贵州大学数学系贵阳,级研究生

来源：

科学通报 | 1988年 / 22期

关键词：

“中介逻辑”; 三值逻辑; 三值语义; 可靠性与完全性;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

<正> 近来,朱梧槚、肖奚安等同志发表了一个称为“中介逻辑”的形式命题逻辑系统MP(见文献[1,2]及其所附参考文献),引起了国内一些学者与青年学生的注意。朱、肖等同志在系统内做了大量的形式推演而迄今未能给出系统的语义,并就此认定他们的中介逻辑“与通常的三值逻辑或任何多值逻辑系统是不同的”,是“精确性经典数学和未来的、处理模糊现象的不确定数

引用

页码：1686 / 1689

页数：4