Logic Colloquium 2022

Talk

A class of implicative expansions of Belnap-Dunn logic in whose elements a Boolean negation is definable.

José M. Méndez

On  Tue, 12:10 ! Livein  M208for  20min
PDF Abstract
Online

 Overview  Program

If you encounter any issues with this website, please get in touch with Léo Exibard.