Umberto Rivieccio
AuthID: R-00H-B6G
1
TITLE: Adding an implication to logics of perfect paradefinite algebras
AUTHORS: Greati, Vitor; Marcelino, Sergio; Marcos, Joao; Rivieccio, Umberto;
PUBLISHED: 2024, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
AUTHORS: Greati, Vitor; Marcelino, Sergio; Marcos, Joao; Rivieccio, Umberto;
PUBLISHED: 2024, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Some more theorems on structural entailment relations and non-deterministic semantics
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.02952
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.02952
INDEXED IN: 
DBLP
DBLP3
TITLE: Logics of involutive Stone algebras Full Text
AUTHORS: Marcelino, S; Rivieccio, U;
PUBLISHED: 2022, SOURCE: SOFT COMPUTING, VOLUME: 26, ISSUE: 7
AUTHORS: Marcelino, S; Rivieccio, U;
PUBLISHED: 2022, SOURCE: SOFT COMPUTING, VOLUME: 26, ISSUE: 7
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: On Logics of Perfect Paradefinite Algebras
AUTHORS: Gomes, Joel; Greati, Vitor; Marcelino, Sergio; Marcos, Joao; Rivieccio, Umberto;
PUBLISHED: 2022, SOURCE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 357, ISSUE: 357
AUTHORS: Gomes, Joel; Greati, Vitor; Marcelino, Sergio; Marcos, Joao; Rivieccio, Umberto;
PUBLISHED: 2022, SOURCE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 357, ISSUE: 357
INDEXED IN: Scopus WOS
Scopus WOS5
TITLE: Finite axiomatizability of logics of distributive lattices with negation Full Text
AUTHORS: Marcelino, Sergio; Rivieccio, Umberto;
PUBLISHED: 2022, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 31, ISSUE: 3
AUTHORS: Marcelino, Sergio; Rivieccio, Umberto;
PUBLISHED: 2022, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 31, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Characterizing finite-valuedness
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2018, SOURCE: Fuzzy Sets and Systems, VOLUME: 345
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2018, SOURCE: Fuzzy Sets and Systems, VOLUME: 345
INDEXED IN: DBLP
DBLP7
TITLE: Plug and Play Negations
AUTHORS: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLISHED: 2018, SOURCE: Trends in Logic, VOLUME: 47
AUTHORS: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLISHED: 2018, SOURCE: Trends in Logic, VOLUME: 47
INDEXED IN: Scopus
Scopus8
TITLE: Locally Tabular not equal Locally Finite Full Text
AUTHORS: Sergio Marcelino; Umberto Rivieccio;
PUBLISHED: 2017, SOURCE: LOGICA UNIVERSALIS, VOLUME: 11, ISSUE: 3
AUTHORS: Sergio Marcelino; Umberto Rivieccio;
PUBLISHED: 2017, SOURCE: LOGICA UNIVERSALIS, VOLUME: 11, ISSUE: 3
INDEXED IN: WOS
WOS