中介逻辑的命题演算系统（MP^＊）的一些特征

Some Character of Propositional Calculus System of Medium Logic(MP~*)

本文证明了MP~*中的完全析取范式定理及其两个推论。文中也给出了判别Γ(?)A在MP~*中是否成立的算法。由此MP~*是可判定的。文中推论2说明了MP~*与经典逻辑的命题演算系统(P~*)的关系。

In propositional calculus system of medium logic (MP~*), superior disjunctive normal form theorem and two corollary have been proved. The propositional calculus system (MP~*) is decidable. The relations between propositional calculus of classical logic (P) and medium logic (MP~*) have been obtained.