Umberto Rivieccio
AuthID: R-00H-B6G
1
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
DBLP2
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 WOS3
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 WOS4
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 WOS5
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
DBLP6
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
Scopus7
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