In this paper, a new type of algebra is introduced, which is an algebraic abstract of MP(superscript M) system just as Boolean algebra is an algebraic abstract of two-valued propositional calculus.

• 本文通过在MP(上标M)系统上建立一个代数系统，对MP(上标M)系统进行了代数抽象，讨论了MP(上标M)系统的代数性质。