论文部分内容阅读
论文采用否定邻域框架系统地分析了各种弱否定的对应性与典范性。我们讨论了七个与弱否定相关的序列(sequent),其对应性与典范性如下表所示:与常见的处理弱否定的星框架与相容框架相比,否定邻域框架的处理能力更强,采用后者所得的结果比采用前两者所得的结果更为一般。很多文献中的结果都是本文采用否定邻域框架所得结果的特例。