中介逻辑的命题运算系统(Ⅰ)

In this paper, we construct the propositional calculus system of mediumlogic MP under the view of medium principe. We first make out thevocabulary of MP and the rules of its formation and inference, and then, after a primary development, we reduce it to ten formal theorems (the formal relations of inference). More precisely, the theorems can be divided into 38 relations of inference, in which only 5 have alrealy been contained in the classiccal natural inference system P, this is to say, all the others are peculiar to tthe non-classical logic system MP.