Conditional Excluded Middle in Systems of Consequential Implication. - Pizzi, C.; Williamson, T. (Journal of Philosophical Logic, 2005)