Carlos Manuel Costa Lourenço Caleiro
AuthID: R-000-3AK
11
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
Scopus WOS12
TITLE: Computational properties of finite PNmatrices
AUTHORS: Filipe, Pedro; Marcelino, Sergio; Caleiro, Carlos;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, ISSUE: 8
AUTHORS: Filipe, Pedro; Marcelino, Sergio; Caleiro, Carlos;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, ISSUE: 8
13
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: WOS
WOS14
TITLE: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC {\mathscr {C}}_1 AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTHORS: Hugo Albuquerque; Carlos Caleiro;
PUBLISHED: 2022, SOURCE: Bull. Symb. Log., VOLUME: 28, ISSUE: 4
AUTHORS: Hugo Albuquerque; Carlos Caleiro;
PUBLISHED: 2022, SOURCE: Bull. Symb. Log., VOLUME: 28, ISSUE: 4
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP15
TITLE: Computational properties of finite PNmatrices
AUTHORS: Pedro Filipe; Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2022, SOURCE: J. Log. Comput., VOLUME: 32, ISSUE: 8
AUTHORS: Pedro Filipe; Sérgio Marcelino; Carlos Caleiro;
PUBLISHED: 2022, SOURCE: J. Log. Comput., VOLUME: 32, ISSUE: 8
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP16
TITLE: AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
AUTHORS: HUGO ALBUQUERQUE; CARLOS CALEIRO;
PUBLISHED: 2022, SOURCE: The Bulletin of Symbolic Logic, VOLUME: 28, ISSUE: 4
AUTHORS: HUGO ALBUQUERQUE; CARLOS CALEIRO;
PUBLISHED: 2022, SOURCE: The Bulletin of Symbolic Logic, VOLUME: 28, ISSUE: 4
17
TITLE: Axiomatizing non-deterministic many-valued generalized consequence relations Full Text
AUTHORS: Marcelino, S; Caleiro, C;
PUBLISHED: 2021, SOURCE: SYNTHESE, VOLUME: 198, ISSUE: SUPPL 22
AUTHORS: Marcelino, S; Caleiro, C;
PUBLISHED: 2021, SOURCE: SYNTHESE, VOLUME: 198, ISSUE: SUPPL 22
18
TITLE: What is a logical theory? On theories containing assertions and denials Full Text
AUTHORS: Blasio, C; Caleiro, C; Marcos, J;
PUBLISHED: 2021, SOURCE: SYNTHESE, VOLUME: 198, ISSUE: SUPPL 22
AUTHORS: Blasio, C; Caleiro, C; Marcos, J;
PUBLISHED: 2021, SOURCE: SYNTHESE, VOLUME: 198, ISSUE: SUPPL 22
19
TITLE: On the index of convergence of a class of Boolean matrices with structural properties
AUTHORS: Guilherme Ramos ; Sérgio Pequito; Carlos Caleiro;
PUBLISHED: 2021, SOURCE: Int. J. Control, VOLUME: 94, ISSUE: 6
AUTHORS: Guilherme Ramos ; Sérgio Pequito; Carlos Caleiro;
PUBLISHED: 2021, SOURCE: Int. J. Control, VOLUME: 94, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP20
TITLE: What is a logical theory? On theories containing assertions and denials
AUTHORS: Carolina Blasio; Carlos Caleiro; João Marcos;
PUBLISHED: 2021, SOURCE: Synth., VOLUME: 198, ISSUE: 22-S
AUTHORS: Carolina Blasio; Carlos Caleiro; João Marcos;
PUBLISHED: 2021, SOURCE: Synth., VOLUME: 198, ISSUE: 22-S
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP