Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
11
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
Scopus12
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
WOS13
TITLE: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, ISSUE: 7
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, ISSUE: 7
INDEXED IN: Scopus WOS
Scopus WOS14
TITLE: Disjoint Fibring of Non-deterministic Matrices
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2017, SOURCE: 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, VOLUME: 10388
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2017, SOURCE: 24th International Workshop on Logic, Language, Information, and Computation (WoLLIC) in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, VOLUME: 10388
INDEXED IN: WOS
WOS15
TITLE: Merging Fragments of Classical Logic
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, VOLUME: 10483
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, VOLUME: 10483
INDEXED IN: 
DBLP
DBLP16
TITLE: Disjoint Fibring of Non-deterministic Matrices
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, VOLUME: 10388
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, VOLUME: 10388
INDEXED IN: DBLP
DBLP17
TITLE: Merging fragments of classical logic PDF
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1706.08689
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1706.08689
INDEXED IN: DBLP 
arXiv
DBLP arXiv18
TITLE: On the characterization of fibred logics, with applications to conservativity and finite-valuedness
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: J. Log. Comput., VOLUME: 27, ISSUE: 7
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2017, SOURCE: J. Log. Comput., VOLUME: 27, ISSUE: 7
INDEXED IN: DBLP
DBLP19
TITLE: Decidability and complexity of fibred logics without shared connectives Full Text
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2016, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, ISSUE: 5
AUTHORS: Sergio Marcelino; Carlos Caleiro ;
PUBLISHED: 2016, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 24, ISSUE: 5
20
TITLE: Decidability and complexity of fibred logics without shared connectives
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2016, SOURCE: Logic Journal of the IGPL, VOLUME: 24, ISSUE: 5
AUTHORS: Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2016, SOURCE: Logic Journal of the IGPL, VOLUME: 24, ISSUE: 5
INDEXED IN: DBLP
DBLP