Three-valued formulations of classical logic and their sequent calculi counterparts

BRUNO DA RE; DAMIAN SZMUC

Exposición; Tubïngen Logic Colloquium; 2021

The aim of this talk is twofold. Firstly, I will introduce all the three-valued schemas which render Classical Logic un-der the strict-tolerant consequence relation. Secondly, I will present and discuss some proof-theoretical topics related to these presentations.