Abstract: Firstly, we construct an axiomatic system PIRC of propositional identity relative to conditions and give some results in its proof theory.

• 首先，我们构造相对于条件的命题同一性逻辑PIRC，给出一些证明论结果；