Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 72



1
TITLE: An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics
AUTHORS: Albuquerque, Hugo; Caleiro, Carlos ;
PUBLISHED: 2025, SOURCE: STUDIA LOGICA, VOLUME: 113, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
2
3
TITLE: MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS PDF
AUTHORS: Caleiro, Carlos ; Marcelino, Sergio;
PUBLISHED: 2024, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 89, ISSUE: 2
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 6
IN MY: DBLP
4
TITLE: A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery
AUTHORS: João Saúde; Guilherme Ramos ; Ludovico Boratto; Carlos Caleiro ;
PUBLISHED: 2022, SOURCE: ACM Trans. Knowl. Discov. Data, VOLUME: 16, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: DBLP
5
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
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
6
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: DBLP
7
TITLE: Computational Properties of Partial Non-deterministic Matrices and Their Logics
AUTHORS: Sérgio Marcelino; Carlos Caleiro ; Pedro Filipe;
PUBLISHED: 2022, SOURCE: LFCS, VOLUME: 13137 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
8
TITLE: Decidability Preservation and Complexity Bounds for Combined Logics  Full Text
AUTHORS: Caleiro, Carlos ; Marcelino, Sergio;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 19
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: Axiomatizing non-deterministic many-valued generalized consequence relations
AUTHORS: Marcelino, S; Caleiro, C ;
PUBLISHED: 2021, SOURCE: SYNTHESE, VOLUME: 198, ISSUE: SUPPL 22
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: DBLP
10
TITLE: On Axioms and Rexpansions
AUTHORS: Carlos Caleiro ; Sérgio Marcelino;
PUBLISHED: 2021, SOURCE: Outstanding Contributions to Logic - Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
INDEXED IN: CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 8. Total results: 72.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service