Natural term logic
Seminário de Lógica Matemática, por Bruno Dinis (Universidade de Évora and CIMA - Centro de Investigação em Matemática e Aplicações).
Lógica
The Philosophical Significance of Gödel's Dialectica Interpretation
Seminário de Lógica Matemática, por Stephen Mackereth (Dartmouth College, Society of Fellows and Department of Philosophy).
Functional Interpretations and Proof Mining
Seminário de Lógica Matemática, por Paulo Firmino (Faculdade de Ciências da Universidade de Lisboa).
Conic o-minimal sheaves, Part III - Characterizations of conic o-minimal sheaves
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Conic o-minimal sheaves, Part II - Sheaves on the conic o-minimal spectrum
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Conic o-minimal sheaves, Part I - Properties of conic definable sets
Seminário de Lógica Matemática, por Duarte Costa (Faculdade de Ciências, ULisboa, CEMS.UL).
Computable Model/Structure Theory and the Slaman-Wehner Theorem
Seminário de Lógica Matemática, por Duarte Maia (University of Chicago).
Uniform validity of atomic Kreisel-Putnam rule in monotonic proof-theoretic semantics
Seminário de Lógica Matemática, por Antonio Piccolomini D'Aragona (University of Tübingen/University of Siena).
Separability in Classical Natural Deduction
Seminário de Lógica Matemática, por Joaquim Waddington (UERJ/UCL).
Definable Semigroups in o-Minimal Structures
Seminário de Lógica Matemática, por Eduardo Magalhães (Universidade do Porto).