III Workshop on Logic and Philosophy of Logic

December 13, 2024
Argentinean Society
of Philosophical Analysis (SADAF)
Buenos Aires, Argentina

SPEAKERS

Miguel Álvarez Lisboa (IIF-SADAF-CONICET)

Agustina Borzi (IIF-SADAF-CONICET)
Andreas Fjellstad (University of Padua)
Camillo Fiore (IIF-SADAF-CONICET)

PROGRAM

December 13 (Friday)

14:00 – 15:00 (GMT-3): Andreas Fjellstad: “How to follow the omega-rule”

15:00 – 16:00 (GMT-3): Camillo Fiore: “Formula-formula sequent calculi for classical and (dual) intuitionistic logic”

16:00 – 17:00 (GMT-3): Coffee break

17:00 – 18:00 (GMT-3): Miguel Álvarez Lisboa: “Natural deduction for all the logics of the strong Kleene family”

18:00 – 19:00 (GMT-3): Agustina Borzi: “Sequent calculi for Variable Inclusion Logics”

ORGANIZERS

Eduardo Barrio (IIF-SADAF-CONICET / UBA)
Camillo Fiore (IIF-SADAF-CONICET / UBA)