Umberto Rivieccio


AuthID: R-00H-B6G

Publications Requiring Validation

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
INDEXED IN: Scopus WOS
2
TITLE: Logics of involutive Stone algebras  Full Text
AUTHORS: Marcelino, S; Rivieccio, U;
PUBLISHED: 2022, SOURCE: SOFT COMPUTING, VOLUME: 26, ISSUE: 7
INDEXED IN: Scopus WOS
3
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
INDEXED IN: Scopus WOS
4
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
INDEXED IN: Scopus WOS
5
TITLE: Plug and Play Negations
AUTHORS: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLISHED: 2018, SOURCE: Trends in Logic, VOLUME: 47
INDEXED IN: Scopus
6
TITLE: Locally Tabular not equal Locally Finite  Full Text
AUTHORS: Sergio Marcelino; Umberto Rivieccio;
PUBLISHED: 2017, SOURCE: LOGICA UNIVERSALIS, VOLUME: 11, ISSUE: 3
INDEXED IN: WOS

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service