Intuitionistic PUC-Logic for Constructive Counterfactuals
We present the intuitionistic version of PUC-Logic. After that, we present a constructive approach to Lewis' counterfactual abstraction to show that it does not require the classical absurd rule.