Proof-theoretic Semantics for Intuitionistic Linear Logic: Two Approaches
Seminário de Lógica Matemática, por Victor Nascimento (University College London).
Lógica
Cut elimination for a non-wellfounded system for the master modality
Seminário de Lógica Matemática, por Borja Sierra Miranda (University of Bern).
Classes in HYPE
Seminário de Lógica Matemática, por Maria Beatrice Buonaguidi (King's College London).
How to define (and formalize) the notion of algorithm? Problems and perspectives
Seminário de Lógica Matemática, por Alberto Naibo (Université Paris 1 Panthéon-Sorbonne, IHPST).
Visser's Rules in Intuitionistic Modal Logics
Seminário de Lógica Matemática, por Raheleh Jalali (Institute of Computer Science - Czech Academy of Sciences).
Proof mining and asymptotic regularity
Seminário de Lógica Matemática, por Laurentiu Leustean (University of Bucharest & Institute for Logic and Data Science & Simion Stoilow Institute of Mathematics of the Romanian Academy).
Towards Canonical Proofs for Second Order Intuitionistic Logic
Seminário de Lógica Matemática, por Paolo Pistone (Université Claude Bernard Lyon 1).
Free sets and rainbows for colorings of exactly large sets
Seminário de Lógica Matemática, por Oriola Gjetaj (University of Ghent).
How constructive is Gödel's Dialectica translation?
Seminário de Lógica Matemática, por Stephen Mackereth (Dartmouth College, USA).
On the alleged failure of Frege’s original programme
Seminário de Lógica Matemática, por Fernando Ferreira (University of Lisbon).