The Complete Axiom Set of MPM
中介命题演算系统MP^M的公理完备集

This paper constructs an axiom set based on the medium logic propositional calculus system MPM and gives a proof of its completeness. This axiom set consists of fifteen equations, so it is easier to prove and deduce the identity equations of the MPM system and MFM system. Furthermore, the application of this axiom set on the query optimization in the incomplete information database is also discussed.