Intuitionistic PUC-Logic for Constructive Counterfactuals
Logic in Computer Science
2014-05-22 v1
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.
Cite
@article{arxiv.1405.5279,
title = {Intuitionistic PUC-Logic for Constructive Counterfactuals},
author = {Ricardo Q. A. Fernandes and Edward H. Haeusler and Luiz Carlos Pereira},
journal= {arXiv preprint arXiv:1405.5279},
year = {2014}
}
Comments
arXiv admin note: text overlap with arXiv:1402.1535