This is the formalization of consistency of Dualized Intuitionistic Logic with respect Rauszer's extended Kripke semantics.