Workshop on Substructural Logics

September 26, 2019

LanCog Workshop on Substructural Logics

 

Dates: September 26-27, 2019

Venue: Facultate de Letras da Universidade da Lisboa, room 5.2

Attendance is free. All welcome.

 

Programme:

 

Thursday, 26/09

 

10:15-10:30 Registration

10:30-11:30 Greg Restall, Collection Frames for Substructural Logics

11:30-12:30 Tore Fjetland Øgaard, Classical relevant logics

12:30-14:30 Lunch break

14:30-15:30 Gabriele Pulcini, Paraconsistency and substructurality in classical logic

15:30-16:30 Ulf Hlobil, Expressing validity: Towards a self-sufficient inferentialism

16:30-17:00 Break

17:00-18:00 Lucas Rosenblatt, Maximal non-trivial sets of instances of your least favorite structural rule

 

Friday, 27/09

 

10:30-11:30 Francesco Paoli, Weak Kleene logics as substructural logics

11:30-12:30 Andreas Fjellstad, Playing with bullets in substructural calculi

12:30-14:30 Lunch break

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

15:30-16:30 Bogdan Dicher, Metainferential structures