| Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic RR Leme, G Venturi, B Lopes Anais do III Workshop Brasileiro de Lógica, 25-32, 2022 | 1 | 2022 |
| Ecumenical Propositional Tableau R Leme, M Coniglio, B Lopes, G Venturi Studia Logica, 1-28, 2024 | | 2024 |
| Intuitionism with Truth Tables: A Decision Procedure for IPC Based on RNMatrix R Leme, M Coniglio, B Lopes arXiv preprint arXiv:2308.13664, 2023 | | 2023 |
| Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices R Leme, M Coniglio, B Lopes arXiv preprint arXiv:2308.13664, 2023 | | 2023 |
| From Plato to Weil and beyond: Genericity through the history of mathematics RR Leme, G Venturi Khronos, 140-158, 2020 | | 2020 |
| De Platão a Weil e além: genericidade através da história da matemática RR Leme, G Venturi Khronos–revista de história da ciência, 2020 | | 2020 |
| A Tableau for Ecumenical Propositional Logic R Leme, G Venturi, B Lopes BOOK OF ABSTRACTS LIVRO DE RESUMOS, 128, 0 | | |
