超协调逻辑(Ⅰ)——传统超协调逻辑研究

被引：6

作者：

林作铨

李未

机构：

[1] 汕头大学计算机科学系

[2] 北京航空航天大学计算机系北京航空航天大学计算机系

[3] 汕头大学计算机科学研究所

来源：

关键词：

超协调逻辑; 次协调逻辑; 经典逻辑; 标准逻辑; 语义悖论; 协调性; 分域; 非单调逻辑; 相干逻辑; 元逻辑; 析取三段论; 逻辑后承;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对超协调性的分析我们把超协调逻辑分成三类。然后,我们介绍并剖析这三类传统的超协调逻辑的基本结果,指出它们各自的优缺点、存在的问题以及相互关系,并特别地研究了几种传统超协调逻辑与非单调逻辑的关系.

引用

页码：1 / 8

页数：8