Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 70



1
TÍTULO: MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS PDF
AUTORES: Caleiro, Carlos ; Marcelino, Sergio;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 89, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 2
2
TÍTULO: A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery  Full Text
AUTORES: João Saúde; Guilherme Ramos ; Ludovico Boratto; Carlos Caleiro ;
PUBLICAÇÃO: 2022, FONTE: ACM Trans. Knowl. Discov. Data, VOLUME: 16, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID
3
TÍTULO: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTORES: HUGO ALBUQUERQUE; CARLOS CALEIRO ;
PUBLICAÇÃO: 2022, FONTE: The Bulletin of Symbolic Logic, VOLUME: 28, NÚMERO: 4
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
4
TÍTULO: Computational properties of finite PNmatrices
AUTORES: Filipe, Pedro; Marcelino, Sergio; Caleiro, Carlos ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
5
TÍTULO: Computational Properties of Partial Non-deterministic Matrices and Their Logics
AUTORES: Sérgio Marcelino; Carlos Caleiro ; Pedro Filipe;
PUBLICAÇÃO: 2022, FONTE: International Symposium on Logical Foundations of Computer Science, LFCS 2022 in LFCS, VOLUME: 13137 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
6
TÍTULO: Decidability Preservation and Complexity Bounds for Combined Logics  Full Text
AUTORES: Caleiro, Carlos ; Marcelino, Sergio;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICS, VOLUME: 10, NÚMERO: 19
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
7
TÍTULO: Axiomatizing non-deterministic many-valued generalized consequence relations  Full Text
AUTORES: Marcelino, S; Caleiro, C ;
PUBLICAÇÃO: 2021, FONTE: SYNTHESE, VOLUME: 198, NÚMERO: SUPPL 22
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID
8
TÍTULO: On Axioms and Rexpansions
AUTORES: Carlos Caleiro ; Sérgio Marcelino;
PUBLICAÇÃO: 2021, FONTE: Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
INDEXADO EM: CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
9
TÍTULO: On the index of convergence of a class of Boolean matrices with structural properties  Full Text
AUTORES: Ramos, G ; Pequito, S; Caleiro, C ;
PUBLICAÇÃO: 2021, FONTE: INTERNATIONAL JOURNAL OF CONTROL, VOLUME: 94, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
10
TÍTULO: What is a logical theory? On theories containing assertions and denials  Full Text
AUTORES: Blasio, C; Caleiro, C ; Marcos, J;
PUBLICAÇÃO: 2021, FONTE: SYNTHESE, VOLUME: 198, NÚMERO: SUPPL 22
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
Página 1 de 7. Total de resultados: 70.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service