Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
1
TÃTULO: Modular Many-Valued Semantics for combined Logics PDF
AUTORES: Carlos Caleiro; Sérgio Marcelino;
PUBLICAÇÃO: 2024, FONTE: J. Symb. Log., VOLUME: 89, NÚMERO: 2
AUTORES: Carlos Caleiro; Sérgio Marcelino;
PUBLICAÇÃO: 2024, FONTE: J. Symb. Log., VOLUME: 89, NÚMERO: 2
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP2
TÃTULO: Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics
AUTORES: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2024, FONTE: Outstanding Contributions to Logic, VOLUME: 27
AUTORES: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2024, FONTE: Outstanding Contributions to Logic, VOLUME: 27
INDEXADO EM: 
Scopus
Scopus3
TÃTULO: An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics Full Text
AUTORES: Albuquerque, Hugo; Caleiro, Carlos;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA
AUTORES: Albuquerque, Hugo; Caleiro, Carlos;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA
4
TÃTULO: Equivalence of finite non-deterministic logical matrices is undecidable
AUTORES: Carlos Caleiro; Pedro Filipe; Sérgio Marcelino;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2412.14057
AUTORES: Carlos Caleiro; Pedro Filipe; Sérgio Marcelino;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2412.14057
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: Some more theorems on structural entailment relations and non-deterministic semantics
AUTORES: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2310.02952
AUTORES: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2310.02952
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP6
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
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: DBLP
DBLP NO MEU: DBLP
DBLP7
TÃTULO: Computational Properties of Partial Non-deterministic Matrices and Their Logics
AUTORES: Sérgio Marcelino; Carlos Caleiro; Pedro Filipe;
PUBLICAÇÃO: 2022, FONTE: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, VOLUME: 13137
AUTORES: Sérgio Marcelino; Carlos Caleiro; Pedro Filipe;
PUBLICAÇÃO: 2022, FONTE: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, VOLUME: 13137
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP8
TÃTULO: Monadicity of Non-deterministic Logical Matrices is Undecidable
AUTORES: Pedro Filipe; Carlos Caleiro; Sérgio Marcelino;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022., VOLUME: 358
AUTORES: Pedro Filipe; Carlos Caleiro; Sérgio Marcelino;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022., VOLUME: 358
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP9
TÃTULO: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC C-1 AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTORES: Albuquerque, Hugo; Caleiro, Carlos;
PUBLICAÇÃO: 2022, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 28, NÚMERO: 4
AUTORES: Albuquerque, Hugo; Caleiro, Carlos;
PUBLICAÇÃO: 2022, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 28, NÚMERO: 4
INDEXADO EM: Scopus 
WOS
Scopus WOS10
TÃTULO: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC C-1 AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTORES: Albuquerque, Hugo; Caleiro, Carlos;
PUBLICAÇÃO: 2022, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 28, NÚMERO: 4
AUTORES: Albuquerque, Hugo; Caleiro, Carlos;
PUBLICAÇÃO: 2022, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 28, NÚMERO: 4
INDEXADO EM: WOS
WOS