超协调逻辑(Ⅲ)——超协调性的逻辑基础

被引：3

作者：

林作铨

李未

机构：

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

来源：

关键词：

超协调逻辑; 定义; 经典逻辑; 标准逻辑; 非单调逻辑; 协调性;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

引用

页码：1 / 4

页数：4