TY  - RPRT
TI  - Intuitionistic PUC-Logic for Constructive Counterfactuals
AU  - Ricardo Q. A. Fernandes
AU  - Edward H. Haeusler
AU  - Luiz Carlos Pereira
PY  - 2014
UR  - https://arxiv.org/abs/1405.5279
ID  - 1405.5279
ER  -