Umberto Rivieccio
AuthID: R-00H-B6G
1
TÃTULO: Adding an implication to logics of perfect paradefinite algebras
AUTORES: Greati, Vitor; Marcelino, Sergio; Marcos, Joao; Rivieccio, Umberto;
PUBLICAÇÃO: 2024, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
AUTORES: Greati, Vitor; Marcelino, Sergio; Marcos, Joao; Rivieccio, Umberto;
PUBLICAÇÃO: 2024, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Logics of involutive Stone algebras Full Text
AUTORES: Marcelino, S; Rivieccio, U;
PUBLICAÇÃO: 2022, FONTE: SOFT COMPUTING, VOLUME: 26, NÚMERO: 7
AUTORES: Marcelino, S; Rivieccio, U;
PUBLICAÇÃO: 2022, FONTE: SOFT COMPUTING, VOLUME: 26, NÚMERO: 7
INDEXADO EM: Scopus WOS
Scopus WOS3
TÃTULO: On Logics of Perfect Paradefinite Algebras
AUTORES: Gomes, Joel; Greati, Vitor; Marcelino, Sergio; Marcos, Joao; Rivieccio, Umberto;
PUBLICAÇÃO: 2022, FONTE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 357, NÚMERO: 357
AUTORES: Gomes, Joel; Greati, Vitor; Marcelino, Sergio; Marcos, Joao; Rivieccio, Umberto;
PUBLICAÇÃO: 2022, FONTE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 357, NÚMERO: 357
INDEXADO EM: Scopus WOS
Scopus WOS4
TÃTULO: Finite axiomatizability of logics of distributive lattices with negation Full Text
AUTORES: Marcelino, Sergio; Rivieccio, Umberto;
PUBLICAÇÃO: 2022, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 31, NÚMERO: 3
AUTORES: Marcelino, Sergio; Rivieccio, Umberto;
PUBLICAÇÃO: 2022, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 31, NÚMERO: 3
INDEXADO EM: Scopus WOS
Scopus WOS5
TÃTULO: Plug and Play Negations
AUTORES: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLICAÇÃO: 2018, FONTE: Trends in Logic, VOLUME: 47
AUTORES: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLICAÇÃO: 2018, FONTE: Trends in Logic, VOLUME: 47
INDEXADO EM: Scopus
Scopus6
TÃTULO: Locally Tabular not equal Locally Finite Full Text
AUTORES: Sergio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2017, FONTE: LOGICA UNIVERSALIS, VOLUME: 11, NÚMERO: 3
AUTORES: Sergio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2017, FONTE: LOGICA UNIVERSALIS, VOLUME: 11, NÚMERO: 3
INDEXADO EM: WOS
WOS