Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 72



41
TITLE: Behavioral Algebraization of Logics
AUTHORS: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLISHED: 2009, SOURCE: Stud Logica, VOLUME: 91, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: DBLP
42
TITLE: Classic-Like Analytic Tableaux for Finite-Valued Logics
AUTHORS: Caleiro, C ; Marcos, J;
PUBLISHED: 2009, SOURCE: 16th International Workshop on Logic, Language, Information and Computation in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, VOLUME: 5514
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: DBLP
43
TITLE: Labelled Tableaux for Distributed Temporal Logic
AUTHORS: Basin, D; Caleiro, C ; Ramos, J ; Viganò, L;
PUBLISHED: 2009, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: DBLP
44
TITLE: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
AUTHORS: Bruno Montalto; Carlos Caleiro ;
PUBLISHED: 2009, SOURCE: QAPL, VOLUME: 253, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: DBLP
45
TITLE: A labeled tableaux system for the distributed temporal logic DTL
AUTHORS: Basin, D; Caleiro, C ; Ramos, J ; Viganò, L;
PUBLISHED: 2008, SOURCE: 15th International Symposium on Temporal Representation and Reasoning in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
46
TITLE: Combining classical and intuitionistic implications
AUTHORS: Caleiro, C ; Ramos, J ;
PUBLISHED: 2007, SOURCE: 6th International Symposium on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, VOLUME: 4720
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
47
TITLE: Equipollent logical systems  Full Text
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2007, SOURCE: Logica Universalis: Towards a General Theory of Logic
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
48
TITLE: From Fibring to Cryptofibring. A Solution to the Collapsing Problem
AUTHORS: Carlos Caleiro ; Jaime Ramos ;
PUBLISHED: 2007, SOURCE: Logica Universalis, VOLUME: 1, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 16
IN MY: DBLP
49
TITLE: On the algebraization of many-sorted logics
AUTHORS: Caleiro, C ; Gonçalves, R ;
PUBLISHED: 2007, SOURCE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
50
TITLE: Two's company: The humbug of many logical values  Full Text
AUTHORS: Caleiro, C ; Carnielli, W; Coniglio, ME; Marcos, J;
PUBLISHED: 2007, SOURCE: Logica Universalis: Towards a General Theory of Logic
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 5 of 8. Total results: 72.

footer slogan

Useful Links

Get Help

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