Rodrigo Nicolau Almeida
PhD student at Institute for Logic, Language and Computation of the University of Amsterdam
I am a PhD student at the Institute for Logic, Language and Computation of the University of Amsterdam , working under the supervision of Nick Bezhanishvili and Mamuka Jibladze . Before that I completed my masters thesis under the supervision of Nick and Tommaso Moraschini.
News
2-30 June 2025
I will be offering a project at the ILLC, jointly with Simon Lemal on amalgamation of algebras and interpolation in non-classical logic.
6 May 2025
I visited Milan University where I gave a talk about Higher order uniform interpolation and Pitts problem
28 March 2025
I visited the Theory Group in Birmimgham where I gave a talk about one step methods for Heyting algebras.
Recent Publications
Π2-rule systems and inductive classes of Gödel algebras
Annals of Pure and Applied Logic, Volume 176, Issue 4, April 2025 • 2025
Polyatomic logics and generalized Blok–Esakia theory
Journal of Logic and Computation, Volume 34, Issue 5, July 2024, Pages 887–935 • 2023