Carlos Manuel Costa Lourenço Caleiro


AuthID: R-000-3AK

Confirmed Publications: 73



31
TITLE: Many-valuedness Meets Bivalence: Using Logical Values in an Effective Way
AUTHORS: Carlos Caleiro ; Joao Marcos;
PUBLISHED: 2012, SOURCE: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, VOLUME: 19, ISSUE: 1-3
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
32
TITLE: Distributed temporal logic for the analysis of security protocol models  Full Text
AUTHORS: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLISHED: 2011, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, ISSUE: 31
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
33
TITLE: Efficient decision procedures for message deducibility and static equivalence
AUTHORS: Conchinha, B; Basin, D; Caleiro, C ;
PUBLISHED: 2011, SOURCE: 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6561 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
34
TITLE: Hierarchical logical consequence  Full Text
AUTHORS: Carlos Caleiro ; Paula Gouveia; Jaime Ramos ;
PUBLISHED: 2011, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 19, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
35
TITLE: Towards a Behavioral Algebraic Theory of Logical Valuations  Full Text
AUTHORS: Caleiro, C ; Goncalves, R ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 106, ISSUE: 2-4
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
36
TITLE: Two Many Values: An algorithmic outlook on Suszko's Thesis
AUTHORS: Carlos Caleiro ; Joao Marcos;
PUBLISHED: 2010, SOURCE: 40th International Symposium on Multiple-Valued Logic (ISMVL) in 40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
37
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
38
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 | CIÊNCIAVITAE
39
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 | CIÊNCIAVITAE
40
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 | CIÊNCIAVITAE
Page 4 of 8. Total results: 73.

footer slogan

Useful Links

Get Help

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