Research Statement
My current research focuses broadly on Heyting algebras and closely related structures. In them I am particularly interested in the study of technical questions on the structure of the category of Heyting algebras, such as providing descriptions of ordered compactifications of ordered topological spaces, or describing free objects in these and associated categories; and properties of classes of Heyting algebras, such as the study of lattices of varieties and quasivarieties, the distribution of properties like structural completeness, interpolation or tabularity; as well as the study non-standard rules, such as Pi-2-rules, in their universal-algebraic aspects and their computational properties.
I am broadly interested in universal algebra, model theory and category theory, and especially their interaction.
In a previous academic life I was a researcher in sociology of culture. I worked on policy analysis and briefly on agent-based modelling. You can find most of my work related to that in this link.
Published Articles
Maximality Principles in Modal Logic and the Axiom of Choice
Authors: Rodrigo Nicolau Almeida, Guram Bezhanishvili
Fundamenta Mathematicae, Volume 271, October 2025, Pages 173-193 • 2025
We investigate the set-theoretic strength of several maximality principles that play an important role in the study of modal and intuitionistic logics. We focus on the well-known Fine and Esakia maximality principles, present two formulations of each, and show that the stronger formulations are equivalent to the Axiom of Choice (AC), while the weaker ones to the Boolean Prime Ideal Theorem (BPI).
A Coalgebraic Semantics for Intuitionistic Modal Logic
Authors: Rodrigo Nicolau Almeida, Nick Bezhanishvili
Advances in Modal Logic, Volume 15, August 2024, Pages 59-77 • 2024
We give a new coalgebraic semantics for intuitionistic modal logic. In particular, we provide a coalgebraic representation of intuitionistic descriptive modal frames and of intuitonistic modal Kripke frames based on image-finite posets.
Unification with Simple Variable Restrictions and Admissibility of Pi2-rules
Authors: Rodrigo Nicolau Almeida, Silvio Ghilardi
Advances in Modal Logic, Volume 15, August 2024, Pages 79-100 • 2024
We develop a method to recognize admissibility of Î 2-rules, relating this problem to a specific instance of the unification problem with linear constants restriction, called here unification with simple variable restriction. It is shown that for logical systems enjoying an appropriate algebraic semantics and a finite approximation of left uniform interpolation, this unification with simple variable restriction can be reduced to standard unification. As a corollary, we obtain the decidability of admissibility of Î 2-rules for many logical systems.
Π2-rule systems and inductive classes of Gödel algebras
Authors: Rodrigo Nicolau Almeida
Annals of Pure and Applied Logic, Volume 176, Issue 4, April 2025 • 2025
In this paper we present a general theory of Î 2-rules for systems of intuitionistic and modal logic. We introduce the notions of -rule system and of an inductive class, and provide model-theoretic and algebraic completeness theorems, which serve as our basic tools.
Polyatomic logics and generalized Blok–Esakia theory
Authors: Rodrigo Nicolau Almeida
Journal of Logic and Computation, Volume 34, Issue 5, July 2024, Pages 887–935 • 2023
This paper presents a novel concept of a polyatomic logic and initiates its systematic study.
Pre-Printed Notes
Structural Completeness in bi-IPC
Authors: Rodrigo Nicolau Almeida and Nick Bezhanishvili
• August 2025
Submitted Articles
Esakia order-compactifications and locally Esakia spaces
Authors: Rodrigo Nicolau Almeida, Guram Bezhanishvili and Nick Bezhanishvili
• Submitted on 26 Dec 2025 (v1)
We study order-compactifications which are Esakia spaces. We introduce the notion of a locally Esakia space and study some of its basic categorical properties.
Colimits of Heyting Algebras through Esakia Duality
Authors: Rodrigo Nicolau Almeida
• Submitted on 12 Feb 2024 (v1), last revised 13 Nov 2024 (this version, v3)
We generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a left adjoint to the inclusion of Heyting algebras in the category of distributive lattices.