2 papers
cs.LO2026
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…
cs.LO2025
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…