Mathematical Logic

The members of the Mathematical Logic group are all based at Universidade de Lisboa. It is fair to say that the group has acquired a good reputation among the centres of logic in Europe. There are three main directions in the group: proof theory, model theory and applied logic.

F. Ferreira and G. Ferreira work in proof theory, specially functional interpretations and issues like atomic polymorphism. F. Ferreira has also interests in the foundations of mathematics. B. Dinis wrote his PhD dissertation on nonstandard analysis but recently he has also showed interest in some issues of proof theory. M. Edmundo and L. Prelli work on o-minimal structures. Prelli provides an interface between model theory and real analytic geometry and, together with Edmundo, they embarked on the project of investigating the six Groethendiek operations in the o-minimal setting. A. Usvyatsov works mainly on continuous model theory and stability and has joint papers with such prominent researchers as Saharon Shelah. A. Sernadas, C. Sernadas and J. Rasga work mainly in applied logic recently focusing on probabilistic reasoning, albeit with continued interest in some aspects of universal logic, including combination of logics and Kolmogorov complexity of derivability. A. Sernadas is also interested in quantum reasoning and computing.

The group holds a regular seminar (Seminário de Lógica Matemática), now in its 28th year. This is the main forum for the group to meet on a regular basis.