Olarte, C., Pimentel, E., & Rocha, C. (2023). A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. Journal of Logical and Algebraic Methods in Programming, 130, 100827. doi:10.1016/j.jlamp.2022.100827

Xavier, B., Olarte, C., & Pimentel, E. (2022). A linear logic framework for multimodal logics. Mathematical Structures in Computer Science, 1-29. doi:10.1017/s0960129522000366

Marin, S., Miller, D., Pimentel, E., & Volpe, M. (2022). From axioms to synthetic inference rules via focusing. Annals of Pure and Applied Logic, 103091. doi:10.1016/j.apal.2022.103091

Blaisdell, E., Kanovich, M., Kuznetsov, S. L., Pimentel, E., & Scedrov, A. (2022). Non-associative, Non-commutative Multi-modal Linear Logic. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings, 13385, 449-467. Cham, Switzerland: Springer. doi:10.1007/978-3-031-10769-6_27

Pereira, L. C., & Pimentel, E. (2022). On an ecumenical natural deduction with stoup -- Part I: The propositional case. .

Ciabattoni, A., Pimentel, E., & de Queiroz, R. (2022). Preface (Vol. 13468 LNCS).

Marin, S., Pereira, L. C., Pimentel, E., & Sales, E. (2022). Separability and harmony in ecumenical systems. .

Pimentel, E. (2021). A fresh view of linear logic as a logical framework. Electronic Proceedings in Theoretical Computer Science, EPTCS, 332.

Marin, S., Pereira, L. C., Pimentel, E., & Sales, E. (2021). A Pure View of Ecumenical Modalities. Logic, Language, Information, and Computation. WoLLIC 2021. Lecture Notes in Computer Science, 13038 LNCS, 388-407. Springer. doi:10.1007/978-3-030-88853-4_24

Pimentel, E., Pereira, L. C., & de Paiva, V. (2021). An ecumenical notion of entailment. SYNTHESE, 198 (SUPPL 22), 5391-5413. doi:10.1007/s11229-019-02226-5