Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
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: Computational Properties of Partial Non-deterministic Matrices and Their Logics
AUTHORS: Sérgio Marcelino; Carlos Caleiro; Pedro Filipe;
PUBLISHED: 2022, SOURCE: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, VOLUME: 13137
AUTHORS: Sérgio Marcelino; Carlos Caleiro; Pedro Filipe;
PUBLISHED: 2022, SOURCE: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, VOLUME: 13137
INDEXED IN: DBLP
DBLP3
TITLE: Modular many-valued semantics for combined logics
AUTHORS: Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.02189
AUTHORS: Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.02189
INDEXED IN: DBLP
DBLP4
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 WOS5
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 WOS6
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 WOS7
TITLE: Decidability Preservation and Complexity Bounds for Combined Logics Full Text
AUTHORS: Caleiro, Carlos; Marcelino, Sergio;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 19
AUTHORS: Caleiro, Carlos; Marcelino, Sergio;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 19
INDEXED IN: Scopus WOS
Scopus WOS8
TITLE: Axiomatizing non-deterministic many-valued generalized consequence relations Full Text
AUTHORS: Marcelino, S; Caleiro, C;
PUBLISHED: 2021, SOURCE: SYNTHESE, VOLUME: 198, ISSUE: SUPPL 22
AUTHORS: Marcelino, S; Caleiro, C;
PUBLISHED: 2021, SOURCE: SYNTHESE, VOLUME: 198, ISSUE: SUPPL 22
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Antibody response against selected epitopes in the HIV-1 envelope gp41 ectodomain contributes to reduce viral burden in HIV-1 infected patients Full Text
AUTHORS: Marcelino, R; Gramacho, F; Martin, F; Brogueira, P; Janeiro, N; Afonso, C; Badura, R; Valadas, E; Mansinho, K; Caldeira, L; Taveira, N; Marcelino, JM;
PUBLISHED: 2021, SOURCE: SCIENTIFIC REPORTS, VOLUME: 11, ISSUE: 1
AUTHORS: Marcelino, R; Gramacho, F; Martin, F; Brogueira, P; Janeiro, N; Afonso, C; Badura, R; Valadas, E; Mansinho, K; Caldeira, L; Taveira, N; Marcelino, JM;
PUBLISHED: 2021, SOURCE: SCIENTIFIC REPORTS, VOLUME: 11, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS10
TITLE: Axiomatizing non-deterministic many-valued generalized consequence relations
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2021, SOURCE: Synth., VOLUME: 198, ISSUE: 22-S
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2021, SOURCE: Synth., VOLUME: 198, ISSUE: 22-S
INDEXED IN: DBLP
DBLP