Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
1
TITLE: An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics Full Text
AUTHORS: Albuquerque, Hugo; Caleiro, Carlos;
PUBLISHED: 2025, SOURCE: STUDIA LOGICA, VOLUME: 113, ISSUE: 4
AUTHORS: Albuquerque, Hugo; Caleiro, Carlos;
PUBLISHED: 2025, SOURCE: STUDIA LOGICA, VOLUME: 113, ISSUE: 4
2
TITLE: Equivalence of Finite Non-deterministic Logical Matrices is Undecidable Full Text
AUTHORS: Caleiro, Carlos; Filipe, Pedro; Marcelino, Sergio;
PUBLISHED: 2025, SOURCE: STUDIA LOGICA, VOLUME: abs/2412.14057
AUTHORS: Caleiro, Carlos; Filipe, Pedro; Marcelino, Sergio;
PUBLISHED: 2025, SOURCE: STUDIA LOGICA, VOLUME: abs/2412.14057
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP3
TITLE: Impact of Quantum Computing on Asymmetric Cryptography Infrastructures: Prospective Study and Post-Quantum Transition Roadmap
AUTHORS: João Lucas; Carlos Caleiro; António Gonçalves; Laercio Cruvinel;
PUBLISHED: 2025
AUTHORS: João Lucas; Carlos Caleiro; António Gonçalves; Laercio Cruvinel;
PUBLISHED: 2025
4
TITLE: Some more theorems on structural entailment relations and non-deterministic semantics
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.02952
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2310.02952
INDEXED IN: Scopus DBLP
Scopus DBLP5
TITLE: Semi-BCI Algebras
AUTHORS: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, ISSUE: 1-2
AUTHORS: Regivan Santiago; Benjamin Bedregal; Joao Marco; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 32, ISSUE: 1-2
INDEXED IN: WOS
WOS6
TITLE: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities Full Text
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2019, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2019, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
7
TITLE: Probabilistic logic over equations and domain restrictions
AUTHORS: Mordido, A ; Caleiro, C;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 6
AUTHORS: Mordido, A ; Caleiro, C;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 6
8
TITLE: Semi-BCI algebras
AUTHORS: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLISHED: 2019, SOURCE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
AUTHORS: Santiago, R; Bedregal, B; Marcos, J; Caleiro, C; Pinheiro, J;
PUBLISHED: 2019, SOURCE: Journal of Multiple-Valued Logic and Soft Computing, VOLUME: 32, ISSUE: 1-2
INDEXED IN: Scopus
Scopus9
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
Scopus10
TITLE: Generalized Probabilistic Satisfiability
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2017, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
AUTHORS: Caleiro, C; Casal, F ; Mordido, A ;
PUBLISHED: 2017, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
