Rodrigo Nicolau Almeida

This note discusses building Heyting algebras using distributive lattices and their implications.

An overview of how rules interact within logical frameworks.

Exploring coalgebraic semantics for intuitionistic modal logic using image-finite posets.

Explore the role of maximality principles in logic and their connections to choice and structure.