超协调逻辑的统一基础

摘要

本文首先基于对超协调性的分析给出一个超协调逻辑的分类，并提出一个超协调逻辑的新定义，由此容易看出各种超协调逻辑存在一定的共性；然后，从一种统一的观点研究超协调逻辑基础，提出一种优先语义作为超协调性的模型论基础，并提出一个表演算系统作为超协调性的证明论基础，它们包括很多超协调逻辑作为特殊形式，并且容易导出新的超协调逻辑系统，进一步，它们也能作为非单调逻辑的统一基础，使得超协调逻辑与非单调逻辑结合在同