Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
1
TITLE: Equivalence of Finite Non-deterministic Logical Matrices is Undecidable
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 DBLP IN MY: DBLP
DBLP2
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 DBLP IN MY: DBLP
DBLP3
TITLE: Monadicity of Non-deterministic Logical Matrices is Undecidable
AUTHORS: Filipe, Pedro; Caleiro, Carlos; Marcelino, Sergio;
PUBLISHED: 2022, SOURCE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, ISSUE: 358
AUTHORS: Filipe, Pedro; Caleiro, Carlos; Marcelino, Sergio;
PUBLISHED: 2022, SOURCE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, ISSUE: 358
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP4
TITLE: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC C-1 AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTHORS: Albuquerque, Hugo; Caleiro, Carlos;
PUBLISHED: 2022, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 28, ISSUE: 4
AUTHORS: Albuquerque, Hugo; Caleiro, Carlos;
PUBLISHED: 2022, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 28, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP5
TITLE: Semi-BCI Algebras
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: J. Multiple Valued Log. Soft Comput., VOLUME: 32, ISSUE: 1-2
AUTHORS: Regivan H N Santiago; Benjamín R C Bedregal; João Marcos; Carlos Caleiro; Jocivania Pinheiro;
PUBLISHED: 2019, SOURCE: J. Multiple Valued Log. Soft Comput., VOLUME: 32, ISSUE: 1-2
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
TITLE: Combining fragments of classical logic: When are interaction principles needed?
AUTHORS: Caleiro, C; Marcelino, S; Marcos, J;
PUBLISHED: 2019, SOURCE: SOFT COMPUTING, VOLUME: 23, ISSUE: 7
AUTHORS: Caleiro, C; Marcelino, S; Marcos, J;
PUBLISHED: 2019, SOURCE: SOFT COMPUTING, VOLUME: 23, ISSUE: 7
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP7
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
WOS8
TITLE: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
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
9
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
10
TITLE: Analytic Calculi for Monadic PNmatrices
AUTHORS: Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2019, SOURCE: WoLLIC, VOLUME: 11541 LNCS
AUTHORS: Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2019, SOURCE: WoLLIC, VOLUME: 11541 LNCS
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP