作　　者： ; ;

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

出　　处： 《计算机科学》 1995年第1期1-4,共4页

摘　　要： 这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括各种超协调逻辑,而且能够导出新的超协调逻辑,在一定意义上,是超协调逻辑的统一基础,容易统一地刻画非单调性。

关 键 词： 超协调逻辑 超协调性 优先语义

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