Independent Problem of Inference Rules of Medium Propositional System MP

• 中介命题系统MP推理规则的独立性问题