Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
1
TÃTULO: An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics Full Text
AUTORES: Albuquerque, Hugo; Caleiro, Carlos;
PUBLICAÇÃO: 2025, FONTE: STUDIA LOGICA, VOLUME: 113, NÚMERO: 4
AUTORES: Albuquerque, Hugo; Caleiro, Carlos;
PUBLICAÇÃO: 2025, FONTE: STUDIA LOGICA, VOLUME: 113, NÚMERO: 4
2
TÃTULO: Equivalence of Finite Non-deterministic Logical Matrices is Undecidable Full Text
AUTORES: Caleiro, Carlos; Filipe, Pedro; Marcelino, Sergio;
PUBLICAÇÃO: 2025, FONTE: STUDIA LOGICA, VOLUME: abs/2412.14057
AUTORES: Caleiro, Carlos; Filipe, Pedro; Marcelino, Sergio;
PUBLICAÇÃO: 2025, FONTE: STUDIA LOGICA, VOLUME: abs/2412.14057
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP3
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
AUTORES: João Lucas; Carlos Caleiro; António Gonçalves; Laercio Cruvinel;
PUBLICAÇÃO: 2025
4
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: Scopus DBLP
Scopus DBLP5
TÃTULO: Semi-BCI Algebras
AUTORES: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, NÚMERO: 1-2
AUTORES: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, NÚMERO: 1-2
INDEXADO EM: WOS
WOS6
TÃTULO: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities Full Text
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2019, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2019, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
7
TÃTULO: Probabilistic logic over equations and domain restrictions
AUTORES: Mordido, A ; Caleiro, C;
PUBLICAÇÃO: 2019, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 6
AUTORES: Mordido, A ; Caleiro, C;
PUBLICAÇÃO: 2019, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 6
8
TÃTULO: Semi-BCI algebras
AUTORES: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLICAÇÃO: 2019, FONTE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
AUTORES: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLICAÇÃO: 2019, FONTE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, NÚMERO: 1-2
INDEXADO EM: Scopus
Scopus9
TÃTULO: Plug and Play Negations
AUTORES: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLICAÇÃO: 2018, FONTE: Trends in Logic, VOLUME: 47
AUTORES: Marcelino, S; Caleiro, C; Rivieccio, U;
PUBLICAÇÃO: 2018, FONTE: Trends in Logic, VOLUME: 47
INDEXADO EM: Scopus
Scopus10
TÃTULO: Generalized Probabilistic Satisfiability
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
