Firstly, we construct the system C2K of conditionals with double conditions and the system C2L2 of conditionals with primary-condition and secondary-condition, give some results of their proof theory.

• 首先,我们构造双条件句系统C2K和主次条件句系统C2L2,给出这两个系统的一些证明’论结果。