作　　者： ; ;

机构地区： 汕头大学工学院计算机科学与技术系

出　　处： 《计算机科学》 1994年第5期

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

关 键 词： 非单调逻辑 逻辑研究 公理系统 经典逻辑 传递律 相干逻辑 当且仅当 证明论 后承关系 集论

领　　域： [自动化与计算机技术] [自动化与计算机技术]