Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
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: Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations Full Text
AUTORES: Christopher Hampson; Stanislav Kikot; Agi Kurucza; Sergio Marcelino;
PUBLICAÇÃO: 2020, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 171, NÚMERO: 5
AUTORES: Christopher Hampson; Stanislav Kikot; Agi Kurucza; Sergio Marcelino;
PUBLICAÇÃO: 2020, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 171, NÚMERO: 5
INDEXADO EM: Scopus WOS
Scopus WOS6
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
Scopus7
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
WOS8
TÃTULO: Global view on reactivity: switch graphs and their logics Full Text
AUTORES: Dov Gabbay; Sergio Marcelino;
PUBLICAÇÃO: 2012, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 66, NÚMERO: 1-4
AUTORES: Dov Gabbay; Sergio Marcelino;
PUBLICAÇÃO: 2012, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 66, NÚMERO: 1-4
9
TÃTULO: NON-FINITELY AXIOMATISABLE TWO-DIMENSIONAL MODAL LOGICS
AUTORES: Agi Kurucz; Sergio Marcelino;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 77, NÚMERO: 3
AUTORES: Agi Kurucz; Sergio Marcelino;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 77, NÚMERO: 3
INDEXADO EM: Scopus WOS
Scopus WOS10
TÃTULO: An algebraic generalization of Kripke structures
AUTORES: Sergio Marcelino; Pedro Resende ;
PUBLICAÇÃO: 2008, FONTE: MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, VOLUME: 145, NÚMERO: 3
AUTORES: Sergio Marcelino; Pedro Resende ;
PUBLICAÇÃO: 2008, FONTE: MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, VOLUME: 145, NÚMERO: 3
INDEXADO EM: Scopus WOS
Scopus WOS