Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
11
TÃTULO: Decidability Preservation and Complexity Bounds for Combined Logics Full Text
AUTORES: Caleiro, Carlos; Marcelino, Sergio;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICS, VOLUME: 10, NÚMERO: 19
AUTORES: Caleiro, Carlos; Marcelino, Sergio;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICS, VOLUME: 10, NÚMERO: 19
12
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 WOS13
TÃTULO: Computational properties of finite PNmatrices
AUTORES: Filipe, Pedro; Marcelino, Sergio; Caleiro, Carlos;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 8
AUTORES: Filipe, Pedro; Marcelino, Sergio; Caleiro, Carlos;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 8
14
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
WOS15
TÃTULO: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC {\mathscr {C}}_1 AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTORES: Hugo Albuquerque; Carlos Caleiro;
PUBLICAÇÃO: 2022, FONTE: Bull. Symb. Log., VOLUME: 28, NÚMERO: 4
AUTORES: Hugo Albuquerque; Carlos Caleiro;
PUBLICAÇÃO: 2022, FONTE: Bull. Symb. Log., VOLUME: 28, NÚMERO: 4
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP16
TÃTULO: Computational properties of finite PNmatrices
AUTORES: Pedro Filipe; Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2022, FONTE: J. Log. Comput., VOLUME: 32, NÚMERO: 8
AUTORES: Pedro Filipe; Sérgio Marcelino; Carlos Caleiro;
PUBLICAÇÃO: 2022, FONTE: J. Log. Comput., VOLUME: 32, NÚMERO: 8
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP17
TÃTULO: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTORES: HUGO ALBUQUERQUE; CARLOS CALEIRO;
PUBLICAÇÃO: 2022, FONTE: The Bulletin of Symbolic Logic, VOLUME: 28, NÚMERO: 4
AUTORES: HUGO ALBUQUERQUE; CARLOS CALEIRO;
PUBLICAÇÃO: 2022, FONTE: The Bulletin of Symbolic Logic, VOLUME: 28, NÚMERO: 4
18
TÃTULO: Axiomatizing non-deterministic many-valued generalized consequence relations Full Text
AUTORES: Marcelino, S; Caleiro, C;
PUBLICAÇÃO: 2021, FONTE: SYNTHESE, VOLUME: 198, NÚMERO: SUPPL 22
AUTORES: Marcelino, S; Caleiro, C;
PUBLICAÇÃO: 2021, FONTE: SYNTHESE, VOLUME: 198, NÚMERO: SUPPL 22
19
TÃTULO: What is a logical theory? On theories containing assertions and denials Full Text
AUTORES: Blasio, C; Caleiro, C; Marcos, J;
PUBLICAÇÃO: 2021, FONTE: SYNTHESE, VOLUME: 198, NÚMERO: SUPPL 22
AUTORES: Blasio, C; Caleiro, C; Marcos, J;
PUBLICAÇÃO: 2021, FONTE: SYNTHESE, VOLUME: 198, NÚMERO: SUPPL 22
20
TÃTULO: On the index of convergence of a class of Boolean matrices with structural properties
AUTORES: Guilherme Ramos ; Sérgio Pequito; Carlos Caleiro;
PUBLICAÇÃO: 2021, FONTE: Int. J. Control, VOLUME: 94, NÚMERO: 6
AUTORES: Guilherme Ramos ; Sérgio Pequito; Carlos Caleiro;
PUBLICAÇÃO: 2021, FONTE: Int. J. Control, VOLUME: 94, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP