LanCog Workshop on Substructural logics

Thursday, 26/09

10:15-10:30 Registration

10:30-11:30 Greg Restall (University of Melbourne), Collection Frames for Substructural Logics

11:30-12:30 Tore Fjetland Øgaard (University of Bergen), Classical relevant logics

12:30-14:30 Lunch break

14:30-15:30 Gabriele Pulcini (New university of Lisbon), Paraconsistency and substructurality in classical logic

15:30-16:30 Ulf Hlobil (Concordia University), Expressing validity: Towards a self-sufficient inferentialism

16:30-17:00 Break

17:00-18:00 Lucas Rosenblatt (IIF-SADAF, CONICET & University of Buenos Aires), Maximal non-trivial sets of instances of your least favorite structural rule

Friday, 26/09

10:30-11:30 Francesco Paoli (University of Cagliari), Weak Kleene logics as substructural logics

11:30-12:30 Andreas Fjellstad (University of Bergen), Playing with bullets in substructural calculi

12:30-14:30 Lunch break

14:30-15:30 Pablo Cobreros (University of Navarra), Classical and non-classical features of Strong Kleene Logics

15:30-16:30 Bogdan Dicher (University of Lisbon), Metainferential structures