Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 79



21
TÍTULO: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
AUTORES: Cruz-Filipe, L; Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2008, FONTE: Journal of Logic and Computation, VOLUME: 18, NÚMERO: 6
INDEXADO EM: CrossRef
NO MEU: ORCID
22
TÍTULO: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
AUTORES: Lus Cruz Filipe; Joao Rasga ; Amilcar Sernadas ; Cristina Sernadas ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
23
TÍTULO: Heterogeneous fibring of deductive systems via abstract proof systems  Full Text
AUTORES: Luiis Cruz Filipe; Amilcar Sernadas ; Cristina Sernadas ;
PUBLICAÇÃO: 2008, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 16, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
24
TÍTULO: Preservation of interpolation features by fibring
AUTORES: Walter Carnielli; Joao Rasga ; Cristina Sernadas ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
25
TÍTULO: Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems  Full Text
AUTORES: Cruz-Filipe, L; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2007, FONTE: Logic Journal of IGPL, VOLUME: 16, NÚMERO: 2
INDEXADO EM: CrossRef
NO MEU: ORCID
26
TÍTULO: Quantum institutions
AUTORES: Caleiro, C ; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2006, FONTE: Symposium on Algebra, Meaning and Computation in honor of Joseph Goguen on his 65th Birthday in ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, VOLUME: 4060
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
27
TÍTULO: Fibring Logics: Past, Present and Future
AUTORES: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2005, FONTE: We Will Show Them! (1)
INDEXADO EM: DBLP
28
TÍTULO: Fibring of Logics as a Universal Construction
AUTORES: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLICAÇÃO: 2005, FONTE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
INDEXADO EM: CrossRef
29
TÍTULO: Modal sequent calculi labelled with truth values: Cut elimination  Full Text
AUTORES: Paulo Mateus ; Joao Rasga ; Cristina Sernadas ;
PUBLICAÇÃO: 2005, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
30
TÍTULO: Modal sequent calculi labelled with truth values: Completeness, duality and analyticity  Full Text
AUTORES: Paulo Mateus ; Amilcar Sernadas ; Cristina Sernadas ; Luca Vigano;
PUBLICAÇÃO: 2004, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 12, NÚMERO: 3
INDEXADO EM: WOS CrossRef
NO MEU: ResearcherID
Página 3 de 8. Total de resultados: 79.

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

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service