Rodrigo Nicolau Almeida

Esta nota habla sobre cómo construir álgebras de Heyting usando retículos distributivos y sus implicaciones.

Una visión general de cómo las reglas interactúan dentro de marcos lógicos.

Explorando la semántica coalgebraica para la lógica modal intuicionista usando posets imagen-finitos.

Explora el papel de los principios de maximalidad en lógica y sus conexiones con la elección y la estructura.