1 citations · 2 across the 6 of their papers we have counts for
3 papers · 1 filter
PUC-Logic embedding of Lewis' Deontic Logics
Ricardo Q. A. Fernandes, Edward H. Haeusler, Luiz Carlos Pereira
We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic logic and showing its relative completeness.
Intuitionistic PUC-Logic for Constructive Counterfactuals
Ricardo Q. A. Fernandes, Edward H. Haeusler, Luiz Carlos Pereira
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 classic…
PUC-Logic
R. Q. A Fernandes, E. H. Haeusler, L. C. P. D Pereira
We present a logic for Proximity-based Understanding of Conditionals (PUC-Logic) that unifies the Counterfactual and Deontic logics proposed by David Lewis. We also propose a natur…