Universidade Federal de Goiás — Brazil
Computer Science · Physical Sciences
6h-index103citations27works1.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, Reasoning, and Knowledge(13), Logic, programming, and type systems(12), Advanced Algebra and Logic(5), Linguistics and Language Studies(5), History and Theory of Mathematics(4)
Publications27 total
Studia Logica·2024
Elenkhos - Revista de la Sociedad Filosófica del Uruguay·2024Open Access
Outstanding contributions to logic·2024· 3 citedOpen Access
PIANO E A ENXADA – DIGRESSÕES SOBRE O CONTO DE BERNARDO ÉLIS
LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)·2017
SHILAP Revista de lepidopterología·2016Open Access
Synthese·2015· 2 citedOpen Access
Why is this a Proof
College Publications eBooks·2015
Why is this a Proof? Festschrift for Luiz Carlos Pereira
2015· 11 cited
Journal of Philosophical Logic·2014· 40 cited
Philosophia Scientae·2014· 10 citedOpen Access
Teorias axiomáticas: o problema da ampliação da base
Fundamento·2013· 1 cited
Logic Journal of IGPL·2013· 13 cited
Americanae (AECID Library)·2010Open Access
Philósophos - Revista de Filosofia·2010Open Access
Studia Logica·2010· 6 cited
Electronic Notes in Theoretical Computer Science·2009· 1 citedOpen Access
The Review of Symbolic Logic·2009· 11 cited
Inversion and the Admissibility of Logical Rules
2009
O que nos faz pensar·2008Open Access
page 1 of 2Next →
Frequent Co-authors
Thomas Piecha(5), Edward Hermann Hæusler(4), Peter Schroeder‐Heister(2), Luiz Carlos Pereira(2), Vaston Gonçalves da Costa(2), Bruno Lopes(1), Hermógenes Oliveira(1), Frank Thomas Sautter(1), Petrúcio Viana(1), John Corcoran(1), PRISCILA SIMONE DA SILVA VIANA(1), Alfred Tarski(1), Bruno Lopes(1)