Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 88



11
TITLE: On meet-combination of logics
AUTHORS: Sernadas, A ; Sernadas, C ; Rasga, J ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 22, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
12
TITLE: On Combined Connectives  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Rasga, J ;
PUBLISHED: 2011, SOURCE: Logica Universalis, VOLUME: 5, ISSUE: 2
INDEXED IN: Scopus CrossRef
IN MY: ORCID
13
TITLE: Preservation by fibring of the finite model property
AUTHORS: Coniglio, ME; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2011, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 21, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
14
TITLE: Faculty evaluation using multicriteria value measurement
AUTHORS: Costa, CABE ; Martins, PAF ; Oliveira, MD ; Sernadas, A ; Soares, CAM ;
PUBLISHED: 2010, SOURCE: 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, MACMESE'10 in International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings
INDEXED IN: Scopus
IN MY: ORCID
15
TITLE: A Graph-theoretic Account of Logics
AUTHORS: Amilcar Sernadas ; Cristina Sernadas ; Joao Rasga ; Marcelo Coniglio;
PUBLISHED: 2009, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
16
TITLE: Extending Classical Logic for Reasoning About Quantum Systems
AUTHORS: Chadha, R; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2009, SOURCE: Handbook of Quantum Logic and Quantum Structures
INDEXED IN: Scopus CrossRef
IN MY: ORCID
17
TITLE: On Graph-theoretic Fibring of Logics
AUTHORS: Amilcar Sernadas ; Cristina Sernadas ; Joao Rasga ; Marcelo Coniglio;
PUBLISHED: 2009, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
18
TITLE: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
AUTHORS: Lus Cruz Filipe; Joao Rasga ; Amilcar Sernadas ; Cristina Sernadas ;
PUBLISHED: 2008, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
19
TITLE: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
AUTHORS: Cruz-Filipe, L; Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2008, SOURCE: Journal of Logic and Computation, VOLUME: 18, ISSUE: 6
INDEXED IN: CrossRef
IN MY: ORCID
20
TITLE: Heterogeneous fibring of deductive systems via abstract proof systems  Full Text
AUTHORS: Luiis Cruz Filipe; Amilcar Sernadas ; Cristina Sernadas ;
PUBLISHED: 2008, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 16, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
Page 2 of 9. Total results: 88.

A place for researchers and their institutions

Useful Links

Get Help

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