%0 Journal Article
%T 超协调逻辑（ⅲ）—超协调性的逻辑基础
%A 林作铨 李未？
%J 计算机科学
%D 1995
%X 这是关于超协调逻辑研究的第三篇，文中将给出一种优先语义作为超协调性的模型论基础，并给出一种表演算系统作为超协调性的证明论基础，这种优先语义和表演算系统，不仅可以包括名种超协调逻辑，而且能够导出新的超协调逻辑，在一定意义上，是超协调逻辑的统一基础，容易统一地刻画非单调性。
%K 超协调逻辑超协调性优先语义
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1798719&flag=1