CH can be applied to classical logic, too.  The seminal paper is A Formulae-as-Types Notion of Control by Timothy Griffin.  I discuss how backtracking implements the law of excluded middle.