Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações Confirmadas: 72



1
TÍTULO: An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics
AUTORES: Albuquerque, Hugo; Caleiro, Carlos ;
PUBLICAÇÃO: 2025, FONTE: STUDIA LOGICA, VOLUME: 113, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: DBLP
2
TÍTULO: Impact of Quantum Computing on Asymmetric Cryptography Infrastructures: Prospective Study and Post-Quantum Transition Roadmap
AUTORES: João Lucas; Carlos Caleiro ; António Gonçalves; Laercio Cruvinel;
PUBLICAÇÃO: 2025
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS PDF
AUTORES: Caleiro, Carlos ; Marcelino, Sergio;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 89, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 6
NO MEU: DBLP
4
TÍTULO: A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery
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: 10
NO MEU: DBLP
5
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
6
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: 2
NO MEU: DBLP
7
TÍTULO: Computational Properties of Partial Non-deterministic Matrices and Their Logics
AUTORES: Sérgio Marcelino; Carlos Caleiro ; Pedro Filipe;
PUBLICAÇÃO: 2022, FONTE: LFCS, VOLUME: 13137 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
8
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
9
TÍTULO: Axiomatizing non-deterministic many-valued generalized consequence relations
AUTORES: Marcelino, S; Caleiro, C ;
PUBLICAÇÃO: 2021, FONTE: SYNTHESE, VOLUME: 198, NÚMERO: SUPPL 22
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: DBLP
10
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
Página 1 de 8. Total de resultados: 72.

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