主次条件句中的多余条件问题

刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑C2Lm。以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的。另外建立了C2Lm的一个刻画某种多余条件的扩充系统C1,证明了它的一些语法及语义性质。