Medium algebra MA and medium propositional calculus MP*
Zhang Dongmou · 2003
The author establishes an algebraic system, which is equivalent to the propositional calculus system of medium logic MP*, for research in algebraic characteristics of MP*. The algebraic system is called medium algebra (MA). It is derived from Boolean algebra and possesses many similar properties. Several properties possessed by MA are presented and used to show that MA is essentially a three-valued algebra.>