Info

Logician and philosopher.

I am currently a lecturer of Logic and Philosophy at the University of Brasilia (UnB).
Moreover, I am also an associate researcher
of the Centre for Logic, Epistemology
and History of Science of the State University of Campinas (UNICAMP) .

Main Research

My main researches are in Philosophical Logic:

Logic (Non-Classical Logics, Modal Logic, Universal Logic and Combination of Logics)

Philosophy (Metaphysics and Philosophy of Logic)

Interests

But I am also interested in

Mathematics (Foundations)

Computer Science (Theory of Computation)

Law (Proof theory & foundations)

Curriculum Vitae CNPq Lattes

Curriculum Vitae