Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
1
TÃTULO: Some more theorems on structural entailment relations and non-deterministic semantics
AUTORES: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2310.02952
AUTORES: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2310.02952
INDEXADO EM: 
DBLP
DBLP2
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: Analytic Calculi for Monadic PNmatrices
AUTORES: Caleiro, C; Marcelino, S;
PUBLICAÇÃO: 2019, FONTE: 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11541 LNCS
AUTORES: Caleiro, C; Marcelino, S;
PUBLICAÇÃO: 2019, FONTE: 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11541 LNCS
INDEXADO EM: Scopus
Scopus7
TÃTULO: Analytic Calculi for Monadic PNmatrices
AUTORES: Carlos Caleiro; Sérgio Marcelino;
PUBLICAÇÃO: 2019, FONTE: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
AUTORES: Carlos Caleiro; Sérgio Marcelino;
PUBLICAÇÃO: 2019, FONTE: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
INDEXADO EM: DBLP
DBLP8
TÃTULO: Combining fragments of classical logic: When are interaction principles needed?
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2019, FONTE: Soft Comput., VOLUME: 23, NÚMERO: 7
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2019, FONTE: Soft Comput., VOLUME: 23, NÚMERO: 7
INDEXADO EM: DBLP
DBLP9
TÃTULO: Characterizing finite-valuedness
AUTORES: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2018, FONTE: Fuzzy Sets and Systems, VOLUME: 345
AUTORES: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2018, FONTE: Fuzzy Sets and Systems, VOLUME: 345
INDEXADO EM: DBLP
DBLP10
TÃTULO: Combining fragments of classical logic: When are interaction principles needed? PDF
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1810.05879
AUTORES: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1810.05879
INDEXADO EM: DBLP 
arXiv
DBLP arXiv