Juan Carlos Agudelo

Programa de Pós Doutorado - PosDoc (vigência finalizada)
Walter Alexandre Carnielli

Juan Carlos Agudelo

I was born in 1975 in Medellín, Colombia. I am graduated in Computer Science in 1997 at EAFIT university, in Medellín, where I also worked as System Analyst at the Informatic Center and got a master´s degree in Informatic Engineering in 2001. In 2006, I got a master´s degree in Philosophy, area of Logic, at State University of Campinas- UNICAMP, Campinas, Brazil; where I also got a PhD degree in the same program, in 2009, under the supervision of Professor Walter Carnielli. Currently, I am Professor at the Mathematics Department of the Universidad de Antioquia, Medellín, Colombia.


Agudelo, Juan C. and Sicard, Andrés. Máquinas de Turing Paraconsistentes: una Posible Definición. In: Matemáticas: Enseñanza Universitaria, Cali - Colombia, v. XII, n. 2, p. 37-51, 2004.

Agudelo, Juan C. and Carnielli, Walter. Quantum Algorithms, Paraconsistent Computation and Deutsch´s Problem. In: 2nd IndianInternational Conference on Artificial Intelligence, 2005, Pune, India. Proceedings of the 2nd Indian International Conference on Artificial Intelligence. Pune, India: Bhanu Prasad, 2005. pp. 1609-1628.

Agudelo, Juan C. and Carnielli, Walter. Unconventional Models of Computation Through Non-standard Logic Circuits. In: Lecture Notes in Computer Science, 4618, Springer 2007, Selim G. Akl, Cristian S. Calude, Michael J. Dinneen, Grzegorz Rozenberg, Todd Wareham (Eds.): Unconventional Computation, 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings. pp. 29-40.

Agudelo, Juan C. and Carnielli, Walter. Paraconsistent Machines and their Relation to Quantum Computing. In: Journal of Logic and Computation, Oxford University Press, 20(2):573-595, 2010.

Agudelo, Juan C. and Carnielli, Walter. Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof Method for Modalities. Acepted for publication in the Review of Symbolic Logic.

Research project

Computacão Quântica, Computacão Paraconsistente e Lógica: Interrelações e Fundamentos dos Algoritmos Quânticos. (Quantum computing, paraconsistent computing and logic: interrelations and foundations of quantum algorithms)



Walter Carnielli

Participation in projects


ConsRel: Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications FAPESP Project Number: 2004/14107-2.

Group for Applied and Theoretical Logic. CNPq Research Group certified by UNICAMP.

Logic and Computation Research Group, EAFIT University. Research group certified by Colciencias.

External links

My Curriculum vitae at Colciencias:


Cadernos de História e Filosofia da Ciência (CHFC)


Manuscrito - Revista Internacional de Filosofia