Why do you think the same thing doesn't apply to theories? Since you mention topos theory, the double-negation topology is actually a basic construction in topos theory, used to construct a dense Boolean subtopos of a given topos.
My point is something else: I don't know of a way to have a intuitionistic exterior logic and a classical internal logic.