Rodrigo Nicolau Almeida

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Prime Implicates

Top Venues

J. Log. Comput.

IEEE Trans. Comput. Soc. Syst.

Publications

Rodrigo Nicolau Almeida, Silvio Ghilardi
-rules. CoRR (2024)
Rodrigo Nicolau Almeida, Nick Bezhanishvili
A Coalgebraic Semantics for Intuitionistic Modal Logic. CoRR (2024)
Rodrigo Nicolau Almeida
Polyatomic logics and generalized Blok-Esakia theory. J. Log. Comput. 34 (5) (2024)
Rodrigo Nicolau Almeida
-Rule Systems and Inductive Classes of Gödel Algebras. CoRR (2023)
Rodrigo Nicolau Almeida, Nuno David
Signs of Heritage - An Agent-Based Model of the Dynamics of Heritage Categories. IEEE Trans. Comput. Soc. Syst. 6 (6) (2019)