Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
1
TÃTULO: Equivalence of Finite Non-deterministic Logical Matrices is Undecidable
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 DBLP 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: 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 DBLP NO MEU: DBLP
DBLP3
TÃTULO: Monadicity of Non-deterministic Logical Matrices is Undecidable
AUTORES: Filipe, Pedro; Caleiro, Carlos; Marcelino, Sergio;
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, NÚMERO: 358
AUTORES: Filipe, Pedro; Caleiro, Carlos; Marcelino, Sergio;
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, NÚMERO: 358
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP4
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 DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP5
TÃTULO: Semi-BCI Algebras
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: J. Multiple Valued Log. Soft Comput., VOLUME: 32, NÚMERO: 1-2
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLICAÇÃO: 2019, FONTE: J. Multiple Valued Log. Soft Comput., VOLUME: 32, NÚMERO: 1-2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP6
TÃTULO: Combining fragments of classical logic: When are interaction principles needed?
AUTORES: Caleiro, C; Marcelino, S; Marcos, J;
PUBLICAÇÃO: 2019, FONTE: SOFT COMPUTING, VOLUME: 23, NÚMERO: 7
AUTORES: Caleiro, C; Marcelino, S; Marcos, J;
PUBLICAÇÃO: 2019, FONTE: SOFT COMPUTING, VOLUME: 23, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP7
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
WOS8
TÃTULO: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
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
9
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
10
TÃTULO: Analytic Calculi for Monadic PNmatrices
AUTORES: Carlos Caleiro; Sérgio Marcelino;
PUBLICAÇÃO: 2019, FONTE: WoLLIC, VOLUME: 11541 LNCS
AUTORES: Carlos Caleiro; Sérgio Marcelino;
PUBLICAÇÃO: 2019, FONTE: WoLLIC, VOLUME: 11541 LNCS
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP