Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 55



21
TITLE: XIV Latin American Symposium on Mathematical Logic (SLALM) (vol 15, pg 332, 2009)
AUTHORS: Carlos Caleiro ; Ricardo Goncalves ;
PUBLISHED: 2010, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 16, ISSUE: 1
INDEXED IN: WOS
22
TITLE: Algebraic Valuations as Behavioral Logical Matrices  Full Text
AUTHORS: Carlos Caleiro ; Ricardo Goncalves ;
PUBLISHED: 2009, SOURCE: 16th International Workshop on Logic, Language, Information and Computation in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, VOLUME: 5514
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
23
TITLE: Behavioral algebraization of da Costa's C-systems
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
INDEXED IN: Scopus CrossRef
IN MY: ORCID
24
TITLE: Behavioral Algebraization of Logics  Full Text
AUTHORS: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLISHED: 2009, SOURCE: Studia Logica, VOLUME: 91, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID | DBLP
25
TITLE: Classic-Like Analytic Tableaux for Finite-Valued Logics  Full Text
AUTHORS: Carlos Caleiro ; Joao Marcos;
PUBLISHED: 2009, SOURCE: 16th International Workshop on Logic, Language, Information and Computation in LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, VOLUME: 5514
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
26
TITLE: Labelled Tableaux for Distributed Temporal Logic
AUTHORS: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLISHED: 2009, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
27
TITLE: Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
AUTHORS: Montalto, B; Caleiro, C ;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 253, ISSUE: 3
INDEXED IN: Scopus CrossRef
IN MY: ORCID
28
TITLE: A labeled tableaux system for the distributed temporal logic DTL
AUTHORS: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
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
IN MY: ORCID | DBLP
29
TITLE: Combining classical and intuitionistic implications
AUTHORS: Carlos Caleiro ; Jaime Ramos ;
PUBLISHED: 2007, SOURCE: 6th International Symposium on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, VOLUME: 4720
INDEXED IN: Scopus WOS
IN MY: ORCID
30
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
Page 3 of 6. Total results: 55.

A place for researchers and their institutions

Useful Links

Get Help

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