超协调逻辑(Ⅱ)——新超协调逻辑研究

被引：3

作者：

林作铨

李未

机构：

[1] 汕头大学计算机科学系,北京航空航天大学计算机系北京航空航天大学计算机系,汕头大学计算机科学研究所

来源：

关键词：

超协调逻辑; PT; 次协调逻辑; 经典逻辑; 标准逻辑; 多值逻辑; 元逻辑; 非单调逻辑; 推理规则; 非协调性; 定义; 逻辑程序; 论证逻辑;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有的一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。

引用

页码：1 / 7

页数：7