17 citations · 42 across the 27 of their papers we have counts for
8 papers · 2 filters
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…
How many times do we need and assumption ?
Edward Hermann Haeusler
In this article we present a class of formulas Fn, n in Nat, that need at least 2^n assumptions to be proved in a normal proof in Natural Deduction for purely implicational minimal…
Proof-graphs for Minimal Implicational Logic
Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev
It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their resp…
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…
An Intuitionisticaly based Description Logic
Edward Hermann Haeusler, Alexandre Rademaker
This article presents iALC, an intuitionistic version of the classical description logic ALC, based on the framework for constructive modal logics presented by Simpson \cite{simpso…