Rodrigo Nicolau Almeida

Una panoramica di come le regole interagiscono all'interno dei quadri logici.

Esplorando la semantica coalgebrica per la logica modale intuizionistica usando poset immagine-finiti.

Esplora il ruolo dei principi di massimalità nella logica e le loro connessioni con la scelta e la struttura.