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. 
Ricardo Q. A. Fernandes, Edward H. Haeusler, Luiz Carlos Pereira
cs.LO