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