排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
郑传金 《贵州大学学报(自然科学版)》1992,9(1):62-64,43
本文针对[1]给出的中介逻辑ML的模型中出现的有关错误进行讨论并修改,修改结果表明,该模型实质上与Woodruff三值逻辑模型等价。 相似文献
2.
近年来,朱梧槚、肖溪安等发表了名为“中介逻辑”的形式命题演算系统MP,并在系统内作了大量形式推演。由于起初“中介逻辑”没有语义解释,使得一段时间以来人们对“中介逻辑”是否为普通三值逻辑发生争议。有的作者试图为其建立模糊解释,然而最终导致失败。研究结果表明,“中介逻辑”确是三值逻辑,李祥、李广元在“科学通报”1988年第22期和1989年第5期的两篇文章中对此作了明确的回答。笔者就潘正华发表在《南京师大学报》1989年第一期上的文章“中介逻辑ML的一种模型”一文中出现的有关错误进行讨论。 相似文献
3.
4.
本文结合K.Ambos-Spies构造强不可交度的方法和非分支度构造方法证明了定理: 存在强不可交的非分支度。 相似文献
1