Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Publicações a aguardarem confirmação

1
TITLE: Some More Theorems on Structural Entailment Relations and Non-deterministic Semantics
AUTHORS: Carlos Caleiro; Sérgio Marcelino; Umberto Rivieccio;
PUBLISHED: 2024, SOURCE: Outstanding Contributions to Logic, VOLUME: 27
INDEXED IN: Scopus
2
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
INDEXED IN: DBLP
IN MY: DBLP
3
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: DBLP
IN MY: DBLP
4
TITLE: Computational Properties of Partial Non-deterministic Matrices and Their Logics
AUTHORS: Sérgio Marcelino; Carlos Caleiro; Pedro Filipe;
PUBLISHED: 2022, SOURCE: Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings, VOLUME: 13137
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: Modular many-valued semantics for combined logics
AUTHORS: Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2202.02189
INDEXED IN: DBLP
IN MY: DBLP
6
TITLE: Monadicity of Non-deterministic Logical Matrices is Undecidable
AUTHORS: Pedro Filipe; Carlos Caleiro; Sérgio Marcelino;
PUBLISHED: 2022, SOURCE: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022., VOLUME: 358
INDEXED IN: DBLP
IN MY: DBLP
7
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
8
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
INDEXED IN: Scopus WOS
9
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
INDEXED IN: WOS
10
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
INDEXED IN: DBLP
IN MY: DBLP
Página 1 de 9. Total de resultados: 90.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

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