Publications

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

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

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

A Proof-theoretic Semantics for Intuitionistic Linear Logic (pdf) by Yll Buzoku, accepted to Studia Logica, 2026.

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial (pdf) by Alexander V. Gheorghiu and Yll Buzoku, accepted 2026.

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, Synthese Volume 206 Issue 4, article number 197, 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, 16888 - Electronic Notes in Theoretical Informatics and Computer Science Volume 5 - Proceedings of  MFPS 2025. You can watch Katya's amasing presentation of the paper here.

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

A Sequent Calculus Perspective on Base-Extension Semantics (pdf) by Victor Barroso-Nascimento, Katya Piotrovskaya and Elaine Pimentel, TABLEAUX 2025 Proceedings.

Separability and harmony in ecumenical systems (pdf) by Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel and Emerson Sales, Volume 35, Issue 6, 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. 

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic (pdf) by Victor Barroso-Nascimento and German Mejia, Journal of Applied Logics, Volume 12, number 7, 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! 

Base-extension semantics for S5 modal logic (pdf) by Timo Eckhardt, David J. Pym, Logic Journal of the IGPL 33(4), 2025.

Defining logical systems via algebraic constraints on proofs (pdf) by Alexander V. Gheorghiu, David J. Pym, Journal of Logic and Computation 35(1): 95-146, 2025.

Categorical Proof-theoretic Semantics (pdf) by David J. Pym, Eike Ritter, Edmund Robinson, Studia Logica 113(1): 125-162, 2025.

Base-Extension Semantics for Intuitionistic Modal Logics (pdf) by Yll Buzoku, David J. Pym, TABLEAUX 2025 Proceedings.

Disjunctive Syllogism without Ex falso (pdf) by Luiz Carlos Pereira, Edward Hermann Haeusler, Victor Barroso-Nascimento. In Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic, vol 29. Springer, 2024.

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.