From axioms to synthetic inference rules via focusing
Mathematical Logic Seminar, por Elaine Pimentel (University College London).
Mathematical Logic Seminar, por Elaine Pimentel (University College London).
Mathematical Logic Seminar, por Bruno Dinis (Universidade de Évora).
Mathematical Logic Webinar, por Nicholas Pischke (Technical University of Darmstadt).
Mathematical Logic Seminar, por Paulo Firmino (University of Lisbon).
Mathematical Logic Seminar, por Ana Catarina Monteiro (University of Lisbon).
Mathematical Logic Seminar, por Alfredo Freire (University of Aveiro).
Mathematical Logic Webinar, por Pantelis Eleftheriou (University of Leeds).
Mathematical Logic Seminar, por Ana Borges (University of Barcelona).
Mathematical Logic Webinar, por Laura Crosilla (University of Oslo).
Mathematical Logic Seminar, por Imme van Den Berg (Universidade de Évora).