Elaine's talk on Ecumenical logic at the Women in EuroProof Net, part of TYPES 2025 in Glasgow, June 10, 2025.

An ecumenical view of proof-theoretic semantics (pdf) by Victor Barroso-Nascimento, Luiz Carlos Pereira and Elaine Pimentel, accepted to Synthese, 2025. You can listen to this amasing podcast about this article! 

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic (pdf) by Victor Barroso-Nascimento, Katya Piotrovskaya and Elaine Pimentel, accepted to MFPS 2025.

Mathematical explanations and axioms as rules (pdf) by Francesca Poggiolesi and Elaine Pimentel, accepted to TOPOI, 2025.

The Modal Cube Revisited: Semantics without Worlds (pdf) by Renato Leme, Carlos Olarte, Elaine Pimentel and Marcelo E. Coniglio, submitted, 2025.

Base-extension semantics with atomic sequent calculus (pdf) by Victor Barroso-Nascimento, Katya Piotrovskaya and Elaine Pimentel, submitted, 2025.

Bilateralist base-extension semantics with incompatible proofs and refutations by Victor Barroso-Nascimento, Maria Osório and Elaine Pimentel, draft, 2025.

Review of Glivenko’s Theorems from an Ecumenical Perspective (pdf), by Luiz Carlos Pereira, Victor Barroso-Nascimento and Elaine Pimentel, accepted, 2025.

Separability and harmony in ecumenical systems (pdf) by Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel and Emerson Sales, accepted to the Journal of Logic and Computation, 2025.

Translations and Prawitz's Ecumenical system (pdf) by Luiz Carlos Pereira, Elaine Pimentel and Valeria de Paiva, Studia Logica Volume 113, 2025. 

Playing with modalities (pdf) by Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Chris Fermüller, LIPIcs, Volume 326, CSL 2025. You can even listen to this amasing podcast about this article! 

Reasoning About Group Polarization:From Semantic Games to Sequent Systems (pdf) by Robert Freiman, Carlos Olarte, Elaine Pimentel and Christian Fermüller, LPAR-25, 2024.

On an ecumenical natural deduction with stoup - Part I: The propositional case (pdf) by Luiz Carlos Pereira and Elaine Pimentel,  Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction,  2024.