Rodrigo Nicolau Almeida

Questa nota parla di come costruire algebre di Heyting usando reticoli distributivi e le loro implicazioni.

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.