%0 Journal Article
%T 超协调逻辑（Ⅲ）—超协调性的逻辑基础
%A 林作铨
%A 李未
%J 计算机科学
%D 1995
%I 
%X 这是关于超协调逻辑研究的第三篇，文中将给出一种优先语义作为超协调性的模型论基础，并给出一种表演算系统作为超协调性的证明论基础，这种优先语义和表演算系统，不仅可以包括名种超协调逻辑，而且能够导出新的超协调逻辑，在一定意义上，是超协调逻辑的统一基础，容易统一地刻画非单调性。
%K 超协调逻辑
%K 超协调性
%K 优先语义
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=8037B7534449A20E937450F69407E8CC&yid=BBCD5003575B2B5F&vid=BC12EA701C895178&iid=CA4FD0336C81A37A&sid=CA4FD0336C81A37A&eid=E158A972A605785F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0