We are a group of philosophers, mathematicians, and computer scientists from the University of Buenos Aires and CONICET, specialized in Philosophical and Mathematical Logic. Our workplace is the Institute for Research in Philosophy of the Argentinean Society of Philosophical Analysis (IIF-SADAF) and the Faculty of Philosophy and Letters of the UBA. Our main interests include paradoxes, non-classical logics, substructural logics, model theory, proof theory, and theories of truth.
In addition to our foundational research, we are deeply engaged with artificial intelligence, technological innovation, and the application of advanced logical methods to real-world problems. At BA-Logic, we strive to bridge theoretical excellence with practical impact, bringing the precision and depth of mathematical logic to the forefront of contemporary scientific and technological challenges.