I am currently a full professor at the Department of Philosophy of UFSC. Before coming here, I have taught at the Department of Informatics and Applied Mathematics (DIMAp / CCET) of UFRN for 18 years. I am also a partner of the Security and Quantum Information Group (SQIG / IT).

e-mail

Research

If a little knowledge is dangerous, where is the man 

who has so much as to be out of danger?

(Thomas Henry Huxley, 1877)

Here you should find a reasonably updated list of my main publications (see also this repository).  Click here for my CV and here for my Google Scholar profile.  Also, here are links to the usual scientific profiles at ORCID, Scopus, and Web of Science.  My PhD Thesis and my MSc Thesis may also be found online.

I currently act as a supervisor both at the Graduate Studies in Systems and Computing (research area: Foundations of Computer Science) of UFRN and the Graduate Program in Philosophy of UFRN (concentration area: Logic and Formal Philosophy).  I also coordinate the CNPq research group CAROL.  In 2009-10 I spent my first sabbatical leave visiting the Theory and Logic Group of TU-Wien, and in 2016-17 I spent my second sabbatical leave visiting the Group on Logic and Epistemology of RUB, as a recipient of the Friedrich Wilhelm Bessel Research Award, in the field of Theoretical Philosophy.

In the course of the last twenty-something years, I have participated in over a hundred conferences and research meetings, as contributor, as invited speaker and as tutorialist, and have lectured in Argentina, Australia, Austria in Argentina, Australia, Austria, Belgium, Brazil, Bulgaria, Canada, China, Costa Rica, Czech Republic, Denmark, Finland, France, Germany, Greece, Hungary, India, Italy, Israel, Japan, the Netherlands, Poland, Portugal, Spain, South Africa, Sweden, Switzerland, Turkey, the UK, the US, the Vatican, and Venezuela.

I am a reviewer for Mathematical Reviews and Zentralblatt MATH, and have acted as referee for the journals Annals of Pure and Applied Logic, Artificial Intelligence, Bulletin of the Section of Logic, Crítica (MX), Electronic Notes in Theoretical Computer Science, Electronic Proceedings in Theoretical Computer Science, Fundamenta Informaticae, Fuzzy Sets and Systems, Journal of Applied Non-Classical Logics, Journal of Logic and Computation, Journal of Philosophical Logic, Logic and Logical Philosophy, Logic Journal of the IGPL, Logica Universalis, Logique et Analyse, Mathematical Logic Quarterly, Princípios, Review of Symbolic Logic, Soft Computing, Studia Logica, Synthese, Theoretical Computer Science, and Theoria.

Teaching (to be updated)

Teachers are the only saviors of nations.

(Mustafa Kemal Atatürk, 1881-1938)

For my teaching duties, you may want to check my local homepage at UFRN.

• Fundamentos Matemáticos da Computação 3

• Lógica Aplicada à Computação

• Lógica Computacional: demonstração assistida e semi-automática de teoremas.

• Teoria dos Conjuntos [material parcial]

• An Introduction to Paraconsistent Logic

• The XVI EBL tutorial on Foundations of Computerized Theorem Proving (slides available upon request)

• The 3rd UniLog tutorial on Truth-Functionality (slides available upon request)

• The 1st UniLog tutorial on Multiple-Conclusion Logics

MISC (logic-related)

But we never admitted the birth of logic among us.

(Oswald de Andrade, 1928)

• The Brazilian Logic Discussion List: Logica-L

• Most of my papers may easily be found online.

• Some of my talks or other videos

• Videopédia: "Introdução Computacional à Lógica Matemática"

• Logic @ UFRN (videos of talks delivered at UFRN)

• The Suszkian Odyssey

• Conference: NAT@Logic 2015

• Logic and set theory around the world

• Some journals publishing Logic (with some local rankings)

• Some conferences in CS (with Qualis 2012)

• A very brief guide on how to write proofs

• LaTeX

  • for logicians

  • for philosophers

  • uma boa introdução, em português

  • drawing diagrams and pictures, online

  • short math guide (AMS)

  • Detexify is really useful to find some symbol from this list

  • misc: symbol classifier and coffee stains

• Lessons in dealing with copyright: [©1], [©2]

• Sobre o uso saudável da língua portuguesa no estabelecimento de terminologia técnica da área de Lógica:

  • "prova" ou "demonstração"? (ver [D3], [D2], [D1], [D0])

  • "consequência sintática"? (ver [C1], [C0])

  • "juízo" ou "julgamento"? (ver [J0])

• On how to have a rational discussion 

• Plotting knowledge vs confidence

• Beware of the Paradox Dragon!