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