Intuitionistic PUC-Logic for Constructive Counterfactuals
arXiv:1405.5279
Abstract
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.
arXiv admin note: text overlap with arXiv:1402.1535