In this paper, the satisfiability theorem, compactness theorem and decidability theorem for the system
are proved, which pefects the theoretical system of
. Moreover, necessary and sufficient conditions for ΣΓ-truth degree and conditional truth degree existing are given by the satisfiability theorem.