BRUNO DA RÉ @ READING GROUP AND FEDERICO PAILOS @ WIP SEMINAR

A Substructural day!

Last Friday, July the 1st, Bruno Da Ré discussed Rohan French’s paper “Structural Reflexivity and the Paradoxes of Self-Reference” in our Reading Group.

After that, in our Work In Progress Seminar, Federico Pailos presented his proposal of using a consistency operator to get accurate translations of certain three-sided sequents for Strict-Tolerant logics