propositional calculus
This paper deals with the formal system of propositional calculus of medium logic (MP).