%0 Journal Article
%T 中介逻辑ml的语法完全性
%A 潘正华？
%J 计算机科学
%D 2006
%X 中介逻辑ml（mediumlogic）是近年提出的一种非经典逻辑。在ml的系统特征理论中已证明ml具有语义完全（完备）性。本文研究了ml的语法完全性，证明了如下结果：（1）ml中的中介命题逻辑系统mp及其扩张mp^＊是语法完全的，中介谓词逻辑系统mf与其扩张mf^＊，以及含有等词的中介谓词逻辑系统me不是语法完全的。（2）一般地，如果一个协调的逻辑形式系统不是语法完全的，则它的任何协调的扩张系统也不是语法完全的。
%K 中介逻辑形式系统协调性语义完全性语法完全性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=22963315&flag=1