arXiv subjects

Ricardo Q. A. Fernandes

Publications and source records attributed to Ricardo Q. A. Fernandes.

2 recordsLinked to original sources

arXiv2014

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.

cs.LO↗

arXiv2014

PUC-Logic embedding of Lewis' Deontic Logics

We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic $\boldsymbol{CO}$ logic and showing its relative completeness.

cs.LO↗