Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Confirmed Publications: 83



21
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
22
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
23
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
24
TITLE: Preservation of interpolation features by fibring
AUTHORS: Walter Carnielli; Joao Rasga ; Cristina Sernadas ;
PUBLISHED: 2008, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
25
TITLE: Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems  Full Text
AUTHORS: Cruz-Filipe, L; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2007, SOURCE: Logic Journal of IGPL, VOLUME: 16, ISSUE: 2
INDEXED IN: CrossRef
IN MY: ORCID
26
TITLE: Quantum Institutions
AUTHORS: Carlos Caleiro; Paulo Mateus; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, VOLUME: 4060
INDEXED IN: DBLP
27
TITLE: Quantum institutions
AUTHORS: Carlos Caleiro ; Paulo Mateus ; Amilcar Sernadas ; Cristina Sernadas ;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
28
TITLE: Fibring Logics: Past, Present and Future
AUTHORS: Carlos Caleiro; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2005, SOURCE: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One
INDEXED IN: DBLP
29
TITLE: Fibring of Logics as a Universal Construction
AUTHORS: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLISHED: 2005, SOURCE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
INDEXED IN: CrossRef
30
TITLE: Modal sequent calculi labelled with truth values: Cut elimination  Full Text
AUTHORS: Paulo Mateus ; Joao Rasga ; Cristina Sernadas ;
PUBLISHED: 2005, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
Page 3 of 9. Total results: 83.

A place for researchers and their institutions

Useful Links

Get Help

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