1 citations · 2 across the 6 of their papers we have counts for
8 papers
Glivenko's theorems from an ecumenical perspective
Luiz Carlos Pereira, Victor Barroso-Nascimento, Elaine Pimentel
In this paper, we revisit Glivenko's theorems, foundational results relating classical and intuitionistic logic, from an ecumenical perspective. We begin by discussing the historic…
An ecumenical view of proof-theoretic semantics
Victor Nascimento, Luiz Carlos Pereira, Elaine Pimentel
Debates concerning philosophical grounds for the validity of classical and intuitionistic logics often have the very nature of logical proofs as one of the main points of controver…
On an ecumenical natural deduction with stoup -- Part I: The propositional case
Luiz Carlos Pereira, Elaine Pimentel
Natural deduction systems, as proposed by Gentzen and further studied by Prawitz, is one of the most well known proof-theoretical frameworks. Part of its success is based on the fa…
Separability and harmony in ecumenical systems
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel +1
The quest of smoothly combining logics so that connectives from classical and intuitionistic logics can co-exist in peace has been a fascinating topic of research for decades now.…
Ecumenical modal logic
Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel +1
The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others…
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…