Sérgio Roseiro Teles Marcelino
AuthID: R-000-GG8
11
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 WOS12
TITLE: Analytic Calculi for Monadic PNmatrices
AUTHORS: Caleiro, C; Marcelino, S;
PUBLISHED: 2019, SOURCE: 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
AUTHORS: Caleiro, C; Marcelino, S;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus
Scopus13
TITLE: Analytic Calculi for Monadic PNmatrices
AUTHORS: Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2019, SOURCE: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
AUTHORS: Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2019, SOURCE: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
INDEXED IN: 
DBLP
DBLP14
TITLE: Combining fragments of classical logic: When are interaction principles needed?
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2019, SOURCE: Soft Comput., VOLUME: 23, ISSUE: 7
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2019, SOURCE: Soft Comput., VOLUME: 23, ISSUE: 7
INDEXED IN: DBLP
DBLP15
TITLE: Characterizing finite-valuedness
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2018, SOURCE: Fuzzy Sets and Systems, VOLUME: 345
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2018, SOURCE: Fuzzy Sets and Systems, VOLUME: 345
INDEXED IN: DBLP
DBLP16
TITLE: Combining fragments of classical logic: When are interaction principles needed? PDF
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1810.05879
AUTHORS: Carlos Caleiro; Sérgio Marcelino; João Marcos;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1810.05879
INDEXED IN: DBLP 
arXiv
DBLP arXiv17
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
Scopus18
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
WOS19
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 WOS20
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
WOS