中介逻辑ml的语法完全性

中介逻辑ml（mediumlogic）是近年提出的一种非经典逻辑。在ml的系统特征理论中已证明ml具有语义完全（完备）性。本文研究了ml的语法完全性，证明了如下结果：（1）ml中的中介命题逻辑系统mp及其扩张mp^＊是语法完全的，中介谓词逻辑系统mf与其扩张mf^＊，以及含有等词的中介谓词逻辑系统me不是语法完全的。（2）一般地，如果一个协调的逻辑形式系统不是语法完全的，则它的任何协调的扩张系统也不是语法完全的。