Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 70



1
TITLE: MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS PDF
AUTHORS: Caleiro, Carlos ; Marcelino, Sergio;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 89, ISSUE: 2
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 2
2
TITLE: A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery  Full Text
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: 6
IN MY: ORCID
3
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
4
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: 1
IN MY: ORCID
5
TITLE: Computational Properties of Partial Non-deterministic Matrices and Their Logics
AUTHORS: Sérgio Marcelino; Carlos Caleiro ; Pedro Filipe;
PUBLISHED: 2022, SOURCE: International Symposium on Logical Foundations of Computer Science, LFCS 2022 in LFCS, VOLUME: 13137 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
6
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
7
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
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID
8
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
9
TITLE: On the index of convergence of a class of Boolean matrices with structural properties  Full Text
AUTHORS: Ramos, G ; Pequito, S; Caleiro, C ;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF CONTROL, VOLUME: 94, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
10
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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
Page 1 of 7. Total results: 70.

footer slogan

Useful Links

Get Help

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