关于“中介逻辑ML的一种模型”一文中的一些问题

本文针对[1]给出的中介逻辑ML的模型中出现的有关错误进行讨论并修改,修改结果表明,该模型实质上与Woodruff三值逻辑模型等价。     

评“中介逻辑ML的一种模型”

近年来,朱梧槚、肖溪安等发表了名为“中介逻辑”的形式命题演算系统MP,并在系统内作了大量形式推演。由于起初“中介逻辑”没有语义解释,使得一段时间以来人们对“中介逻辑”是否为普通三值逻辑发生争议。有的作者试图为其建立模糊解释,然而最终导致失败。研究结果表明,“中介逻辑”确是三值逻辑,李祥、李广元在“科学通报”1988年第22期和1989年第5期的两篇文章中对此作了明确的回答。笔者就潘正华发表在《南京师大学报》1989年第一期上的文章“中介逻辑ML的一种模型”一文中出现的有关错误进行讨论。     

科研院所科技创新平台构建初探—以贵州科学院为例

科研院所科技创新平台建设是区域科技创新体系的重要组成部分,是科技创新体系的重要基础,是支撑区域科技创新活动的重要栽体和核心力量。本文首先对科技创新平台的内涵进行界定,在现实条件下探讨贵州科学院的基础条件平台构建,并以贵州科学院高技术新兴产业创新基地构建为例,探讨在构建科技创新平台运行机制过程中的相关影响要素。     

存在强不可交的非分支度

本文结合K.Ambos-Spies构造强不可交度的方法和非分支度构造方法证明了定理: 存在强不可交的非分支度。