Abstract: 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 syste

Key words: Medium logic, Propositional calculus system, Axiom set, Query optimization